Alan Bundy Andrew Stevens Frank van Harmelen Andrew Ireland Alan Smaill Rippling: A Heuristic for Guiding Inductive Proofs. 185-253 1993 62 Artif. Intell. 2 db/journals/ai/ai62.html#BundySHIS93