Your search returned the following document:

1. Completion of first-order clauses with equality by strict superposition
   Leo Bachmair and Harald Ganzinger
   In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, Montreal, Canada, 1990, 1991, 162-180