Concepedia

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill

Artificial Intelligence · 1993 · 226 citations · 6 references

DOIFull text

Open access

Concepts

References

6

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

, , +10

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

, , +12

Experiments with proof plans for induction

Alan Bundy, Frank van Harmelen, Jane Hesketh et al. · Journal of Automated Reasoning · 1991 · 113 citations · Full text

, , +10

Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation

Alan Bundy, Bob Welham · Artificial Intelligence · 1981 · 100 citations

, , +7

A rational reconstruction and extension of recursion analysis

Alan Bundy, Frank van Harmelen, Jane Hesketh et al. · Edinburgh Research Explorer · 1989 · 41 citations · Full text

, , +14