@inproceedings{DBLP:conf/dagstuhl/BesnardSTW05, title = {Representing Paraconsistent Reasoning via Quantified Propositional Logic}, author = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, booktitle = {Inconsistency Tolerance}, pages = {84--118}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3300}, year = {2005} }