@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} }