(1)
Lázaro, C. A.; Feitosa, H. de A.; Soares, M. R. Lógica, Ordem E Sistemas Implicativos. Veritas 2019, 64, e32214.