Lázaro, C. A., Feitosa, H. de A. e Soares, M. R. (2019) “Lógica, ordem e sistemas implicativos”, Veritas (Porto Alegre), 64(3), p. e32214. doi: 10.15448/1984-6746.2019.3.32214.