da Costa, Newton C.A., and Roque da C. Caiero. “K-Transforms in Classical and Paraconsistent Logics”. Logic and Logical Philosophy, vol. 7, no. 7, Jan. 2004, pp. 63-80, doi:10.12775/LLP.1999.005.