Goddard, Wayne. 2008. “Automated Bounds on Recursive Structures”. Utilitas Mathematica 75 (May). https://utilitasmathematica.com/index.php/Index/article/view/564.