Goddard, Wayne. Automated Bounds on Recursive Structures. A Canadian journal of applied mathematics, computer science and statistics 2008, 75.