N. C. da Costa and R. da C. Caiero, “k-transforms in classical and paraconsistent logics”, LLP, vol. 7, no. 7, pp. 63–80, Jan. 2004.