Automated Mathematical Induction - Zhang, H. (Kluwer Academic Publishers, 1996)
Includes references.