da Costa, N.C.A.; Henschen, L.J.; Lu, J.J.; Subrahmanian, V.S.; Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation, Proc. 10th International Conference on Automated Deduction - LNCS 449; pp.72.86, 1990.

Languages mentioned

• ParaLog {1987}