Goddard, Wayne (2008) “Automated bounds on recursive structures”, Utilitas Mathematica , 75. Available at: https://utilitasmathematica.com/index.php/Index/article/view/564 (Accessed: 9 July 2026).