Goddard, Wayne 2008. Automated bounds on recursive structures. Utilitas Mathematica . 75, (May 2008).