New Uses of Linear Arithmetic in Automated Theorem Proving by Induction
Journal of Automated Reasoning, Special issue on Mathematical Induction, 16 (1-2), March, 1996, 39-78.
Deepak Kapur and M. Subramaniam

To view the entire paper click here