Decidability for left-linear growing term rewriting systems (2002)

by T Nagaya, Y Toyama
Venue:Inform. and Comput