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