Lázaro, C. A., H. de A. Feitosa, e M. R. Soares. “Lógica, Ordem E Sistemas Implicativos”. Veritas (Porto Alegre), vol. 64, nº 3, dezembro de 2019, p. e32214, doi:10.15448/1984-6746.2019.3.32214.