Your search returned the following 4 documents:

4. Elimination of Equality via Transformation with Ordering Constraints
   Leo Bachmair, Harald Ganzinger, and Andrei Voronkov
   In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5-10 1998, 1998, 175-190. Note: Short version of MPI-I-97-2-012
   
3. On Generating Small Clause Normal Forms
   Andreas Nonnengart, Georg Rock, and Christoph Weidenbach
   In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5-10 1998, 1998, 397-411
   
2. Strict Basic Superposition
   Leo Bachmair and Harald Ganzinger
   In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5-10 1998, 1998, 160-174
   
1. Superposition for Divisible Torsion-Free Abelian Groups
   Uwe Waldmann
   In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5 - 10 1998, 1998, 144-159