A.: Rippling: A Heuristic for Guiding Inductive Proofs (1993)

by A Bundy, A Stevens, F V Harmelen, A Ireland, Smaill