Santos, E. O. V., e L. H. C. Silvestrini. “O Método Dos Tableaux Aplicado Ao Cálculo Trivalente E Intuicionista I1”. Trends in Computational and Applied Mathematics, vol. 22, nº 3, setembro de 2021, p. 393-12, doi:10.5540/tcam.2021.022.03.00393.