Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems (1990)

by M Dauchet, T Heuillard, P Lescanne, S Tison
Venue:Inf. Comput