Sierra Aristizábal, Manuel. “Sistema de Lógica Paraconsistente C1”. Revista Universidad EAFIT, vol. 36, no. 118, June 2012, pp. 23-34, https://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1032.