P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories";
Talk: III World Congress on Paraconsistency, Toulouse, France; 2003-07-28 - 2003-07-31; in: " Proceedings of the III World Congress on Paraconsistency", (2003), 73 - 84.