Your search returned the following document:

1. Associative-Commutative Superposition
   Leo Bachmair and Harald Ganzinger
   In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), Jerusalem, Israel, July, 13-15, 1994, 1995, 1-14. Note: Revised version of MPI-I-93-267, 1993