@misc{indiciae0cdbe1b33ee8,
  title = {Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems},
  author = {Philippe Besnard and Torsten Schaub and Hans Tompits and Stefan Woltran},
  year = {2002},
  url = {https://arxiv.org/abs/cs/0207084},
  note = {Source identifier: cs/0207084}
}