da Costa, N. C.; Caiero, R. da C. K-Transforms in Classical and Paraconsistent Logics. LLP 2004, 7, 63-80.