Your search returned the following document:
-
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