Your search returned the following 2 documents:

2. 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
   
1. A General Technique for Automatic Optimization by Proof Planning
   Peter Madden and Ian Green
   In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), King's College, Cambridge, England, August 3-5, 1994, 1995, 80-96. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken. Extended version to appear in Journal of Automated Reasoning