A Rational Reconstruction and Extension of Recursion Analysis. - Alan Bundy; Frank van Harmelen; Jane Hesketh; Alan Smaill; Andrew Stevens 001 (IJCAI, 1989)

An improved method for the mechanisation of inductive proof. - Andrew Stevens 001 (1989)

Rippling: A Heuristic for Guiding Inductive Proofs. - Alan Bundy; Andrew Stevens 001; Frank van Harmelen; Andrew Ireland; Alan Smaill (Artif. Intell., 1993)