TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Paraconsistent reasoning via quantified boolean formulas : Part II: Circumscribing inconsistent theories
Y1  - 2003
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/15929
SN  - 3-540- 409494-5
ER  -