A. Ciabattoni, L. Spendier et al.:
"Taming Paraconsistent (and Other) Logics: An Algorithmic Approach";
Journal of the ACM, 16 (2014), 1.
http://dx.doi.org/10.1145/2661636Elektronische Version der Publikation:
http://dl.acm.org/citation.cfm?doid=2670130.2661636