Automated Mathematical Induction 1996