Santos, E. O. V. and Silvestrini, L. H. C. (2021) “O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1”, Trends in Computational and Applied Mathematics, 22(3), pp. 393–412. doi: 10.5540/tcam.2021.022.03.00393.