TY  - RPRT
TI  - Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems
AU  - Philippe Besnard
AU  - Torsten Schaub
AU  - Hans Tompits
AU  - Stefan Woltran
PY  - 2002
UR  - https://arxiv.org/abs/cs/0207084
ID  - cs/0207084
ER  -