C. A. Lázaro, H. de A. Feitosa, e M. R. Soares, “Lógica, ordem e sistemas implicativos”, Veritas, vol. 64, nº 3, p. e32214, dez. 2019.