Newton C. A. da Costa Lawrence J. Henschen James J. Lu V. S. Subrahmanian Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. 72-86 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#CostaHLS90 http://dx.doi.org/10.1007/3-540-52885-7_80