Alan Bundy Frank van Harmelen Alan Smaill Andrew Ireland Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. 132-146 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#BundyHSI90 http://dx.doi.org/10.1007/3-540-52885-7_84