Knowledge Processing and Information Systems
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories

@inproceedings{DBLP:conf/ecsqaru/BesnardSTW03,
  author = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title = {Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, {II:} Circumscribing Inconsistent Theories},
  booktitle = {{ECSQARU}},
  series = {Lecture Notes in Computer Science},
  volume = {2711},
  pages = {528--539},
  publisher = {Springer},
  year = {2003}
}