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