GODDARD, WAYNE. Automated bounds on recursive structures. Utilitas Mathematica , [S. l.], v. 75, 2008. Disponível em: https://utilitasmathematica.com/index.php/Index/article/view/564. Acesso em: 8 may. 2026.