Your search returned the following 2 documents:

2. New Directions in Instantiation-Based Theorem Proving
   Harald Ganzinger and Konstantin Korovin
   In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), Ottawa, Canada, old, 2003, 55-64
   [PDF: Download: _03LICS.pdf]
   
1. Orienting Equalities with the Knuth-Bendix Order
   Konstantin Korovin and Andrei Voronkov
   In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), Ottawa, Canada, June, 22 - June, 25, 2003, 75-84