Publication Entry

Publications in Scientific Journals:

A. Ciabattoni, L. Spendier et al.:
"Taming Paraconsistent (and Other) Logics: An Algorithmic Approach";
Journal of the ACM, 16 (2014), 1.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

http://dx.doi.org/10.1145/2661636

Electronic version of the publication:

http://dl.acm.org/citation.cfm?doid=2670130.2661636