Knowledge Processing and Information Systems
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems

@inproceedings{DBLP:conf/jelia/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 = {{JELIA}},
  pages = {320--331},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2424},
  year = {2002}
}