The automation of proof by mathematical induction (0)

by A Bundy
Venue:Handbook of Automated Reasoning, vol. I, pages 845– 911. Elsevier Science, 2001 (Chapter 13