M. Sierra Aristizábal, «Sistema de lógica paraconsistente C1», Rev. U. EAFIT, vol. 36, n.º 118, pp. 23–34, jun. 2012.