Rippling: A heuristic for guiding inductive proofs
- 31 August 1993
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 62 (2), 185-253
- https://doi.org/10.1016/0004-3702(93)90079-q
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Experiments with proof plans for inductionJournal of Automated Reasoning, 1991
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulationArtificial Intelligence, 1981
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977