The theory of ground rewrite systems is decidable (1990)

by M Dauchet, S Tison
Venue:In LICS