Goddard, Wayne. (2008). Automated bounds on recursive structures. Utilitas Mathematica, 75. Retrieved from https://utilitasmathematica.com/index.php/Index/article/view/564