TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Paraconsistent reasoning via quantified boolean formulas
Y1  - 2002
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/16937
SN  - 3-540-44190-5
ER  -