@inproceedings{DBLP:conf/pcl/BesnardSTW02, title = {Paraconsistent Reasoning via Quantified Boolean Formulas, {I:} Axiomatising Signed Systems}, author = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, booktitle = {Paraconsistent Computational Logic}, pages = {1--15}, publisher = {Roskilde University, Roskilde, Denmark}, series = {Datalogiske Skrifter}, volume = {95}, year = {2002} }