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