SIERRA ARISTIZÁBAL, M. Sistema de lógica paraconsistente C1. Revista Universidad EAFIT, v. 36, n. 118, p. 23–34, 27 June2012.