Your search returned the following 3 documents:

3. Equational Reasoning in Saturation-Based Theorem Proving
   Leo Bachmair and Harald Ganzinger
   In: Automated Deduction: A Basis for Applications, 1998, 353-397
   
2. Sorted Unification and Tree Automata
   Christoph Weidenbach
   In: Automated Deduction - A Basis for Applications, 1998, 291-320
   
1. Superposition theorem proving for commutative rings
   Jürgen Stuber
   In: Automated Deduction - A Basis for Applications. Volume III. Applications, 1998, 31-55