Goddard, Wayne. Automated bounds on recursive structures. A Canadian journal of applied mathematics, computer science and statistics [Internet]. 2008 May 9 [cited 2026 May 8];75. Available from: https://utilitasmathematica.com/index.php/Index/article/view/564