The automation of proof by mathematical induction (2001)

by A Bundy
Venue:In: Handbook of Automated Reasoning