Max Dauchet Sophie Tison Decidability of confluence for ground term rewriting systems. 80-89 1985 conf/fct/1985 FCT db/conf/fct/fct1985.html#DauchetT85