Your search returned the following 2 documents:

2. A Calculus for and Termination of Rippling
   David A. Basin and Toby Walsh
   In: Automated mathematical induction, 1996, 147-180. Note: Reprinted from Journal of Automated Reasoning 16 (Nos. 1/2)
   
1. Middle-Out Reasoning for Synthesis and Induction
   Ina Kraan, David A. Basin, and Alan Bundy
   In: Automated mathematical induction, 1996, 113-145. Note: Reprinted from Journal of Automated Reasoning 16 (Nos. 1/2)