Author:
Subramaniam Mahadevan,Kapur Deepak,Falke Stephan
Reference12 articles.
1. F. Baader and T. Nipkow, Term Rewriting and All That. Cambridge University Press, 1998.
2. R. S. Boyer and J. S. Moore, A Computational Logic. ACM Monographs in Computer Science, 1979.
3. A. Bundy, The Automation of Proof by Mathematical Induction, Handbook of Automated Rea-soning, 2001.
4. A. Bundy, Planning and Patching Proof, Proc. AISC ’04, LNCS 3249, 26-37, 2004.
5. A. Ireland, Productive Use of Failure in Inductive Proof, Journal of Automated Reasoning, 16 (1-2):79-111, 1996.