R. A. Freire e L. S. P. Ramos, “Da Semântica para Demonstrações de Consistência e a Volta”, R. Fil. Mod. Contemp., vol. 6, nº 2, p. 37–56, dez. 2018.