L. Bachmair, A. Tiwari, and L. Vigneron, Abstract Congruence Closure, Journal of Automated Reasoning, vol.31, issue.2, pp.129-168, 2003.
DOI : 10.1023/B:JARS.0000009518.26415.49

URL : https://hal.archives-ouvertes.fr/inria-00099511

E. Contejean, A Certified AC Matching Algorithm, 15th RTA, pp.70-84, 2004.
DOI : 10.1007/978-3-540-25979-4_5

N. Dershowitz, Orderings for term-rewriting systems, Theoretical Computer Science, vol.17, issue.3, pp.279-301, 1982.
DOI : 10.1016/0304-3975(82)90026-3

J. Hullot, Associative commutative pattern matching, 6th IJCAI, pp.406-412, 1979.

J. Jouannaud and H. Kirchner, Completion of a set of rules modulo a set of equations, SIAM Journal on Computing, vol.15, issue.4, 1986.

D. Kapur, Shostak's congruence closure as completion, 8th RTA, 1997.
DOI : 10.1007/3-540-62950-5_59

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. E. Knuth and P. B. Bendix, Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra, pp.263-297, 1970.
DOI : 10.1007/978-3-642-81955-1_23

S. Krsti´ckrsti´c and S. Conchon, Canonization for disjoint unions of theories, Information and Computation, vol.199, issue.1-2, pp.87-106, 2005.
DOI : 10.1016/j.ic.2004.11.001

D. S. Lankford, Canonical inference. Memo ATP-32, 1975.

D. S. Lankford and A. M. Ballantyne, Decision procedures for simple equational theories with permutative axioms: Complete sets of permutative reductions, 1977.

C. Marché, On ground AC-completion, 4th RTA, 1991.
DOI : 10.1007/3-540-53904-2_114

C. Marché, Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations, Journal of Symbolic Computation, vol.21, issue.3, pp.253-288, 1996.
DOI : 10.1006/jsco.1996.0011

G. Nelson and D. C. Oppen, Simplification by Cooperating Decision Procedures, ACM Transactions on Programming Languages and Systems, vol.1, issue.2, pp.245-257, 1979.
DOI : 10.1145/357073.357079

G. E. Peterson and M. E. Stickel, Complete Sets of Reductions for Some Equational Theories, Journal of the ACM, vol.28, issue.2, pp.233-264, 1981.
DOI : 10.1145/322248.322251

R. E. Shostak, Deciding Combinations of Theories, Journal of the ACM, vol.31, issue.1, pp.1-12, 1984.
DOI : 10.1145/2422.322411