https://1library.org/document/qopjm3kz-metodo-tableaux-refinamento-repeticoes-desnecessarias-formulas-universais-arvores.html