On ground AC-completion

This publication has 5 references indexed in Scilit:

• Rewrite Systems
  Published by Elsevier ,1990
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• Complete Sets of Reductions for Some Equational Theories
  Journal of the ACM, 1981
• Ordering by Divisibility in Abstract Algebras
  Proceedings of the London Mathematical Society, 1952
• Recursive Unsolvability of a problem of Thue
  The Journal of Symbolic Logic, 1947