Your search returned the following 6 documents:

6. A Calculus for and Termination of Rippling
   David A. Basin and Toby Walsh
   Journal of Automated Reasoning 16 (1/2): 147-180, 1996
   
5. 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)
   
4. Coloured Rippling: An Extension of a Theorem Proving Heuristic
   Tetsuja Yoshida, Alan Bundy, Ian Green, Toby Walsh, and David A. Basin
   In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), Amsterdam, Netherlands, 1994, 1994, 85-89
   
3. Termination Orderings for Rippling
   David A. Basin and Toby Walsh
   In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 466-483. Note: Also available as Research Report MPI-I-94-209, Max-Planck-Institut für Informatik, Saarbrücken
   
2. Difference Matching
   David A. Basin and Toby Walsh
   In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), Saragota Springs, NY, 1992, 295-309. Note: Also available as Research Report MPI-I-92-211
   
1. Difference Unification
   David A. Basin and Toby Walsh
   In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, 1993, 116-122. Note: Also available as Research Report MPI-I-92-247