Max Dauchet, Sophie Tison. Decidability of confluence for ground term rewriting systems. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 85, Cottbus, GDR, September 9-13, 1985. Volume 199 of Lecture Notes in Computer Science, pages 80-89, Springer, 1985.
Abstract is missing.