F. de S. Albarelli and R. C. E. Biraben, “Sobre a existência de semântica finita para os fragmentos da lógica intuicionista”, revpibic, no. 26, Jan. 2019.