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