Representing Paraconsistent Reasoning via Quantified Propositional Logic (2005)

by P Besnard, T Schaub, H Tompits, S Woltran
Venue:In Inconsistency Tolerance, volume 3300 of LNCS