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