Santos, E. O. V.; Silvestrini, L. H. C. O Método Dos Tableaux Aplicado Ao Cálculo Trivalente E Intuicionista I1. Trends Comput. Appl. Math. 2021, 22, 393-412.