Sierra, M. Sistema De lógica Diagonal ld1, ld2,…ld42. Rev. U. EAFIT 2012, 37, 65-80.