Sierra, M. Sistema de lógica diagonal ld1, ld2,…ld42. Rev. DyC. EAFIT 2012, 37 (121), 65-80.