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