LI, NELSON Y.; MANSOUR, TOUFIK; MUNAGI, AUGUSTINE O. Pleine trees and reduction rules. Utilitas Mathematica , [S. l.], v. 81, 2010. Disponível em: https://utilitasmathematica.com/index.php/Index/article/view/730. Acesso em: 8 may. 2026.