Jean-Pierre Jouannaud, Claude Marché. Completion modulo Associativity, Commutativity and Identity (AC1). In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 90, Capri, Italy, April 10-12, 1990, Proceedings. Volume 429 of Lecture Notes in Computer Science, pages 111-120, Springer, 1990.
Abstract is missing.