P. Besnard, T. Schaub, H. Tompits, S. Woltran: "Representing Paraconsistent Reasoning via Quantified Propositional Logic"; in: "Inconsistency Tolerance", L. Bertossi et al. (ed.); Springer, LNCS 3300, 2005, ISBN: 3-540-24260-0, 84 - 118.