Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.

Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian

Browse the full CADE paper archive.