Your search returned the following 2 documents:

2. A Goal Oriented Strategy Based on Completion
   Rolf Socher-Ambrosius
   In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, Volterra, Italy, 1992, 435-445. Note: Also available as Research Report MPI-I-92-206
   
1. Theorem proving for hierarchic first-order theories
   Leo Bachmair, Harald Ganzinger, and Uwe Waldmann
   In: Algebraic and Logic Programming, 1992, 420-434. Note: Revised version in AAECC, vol.\ 5, number 3/4, pp.\ 193--212, 1994)