Decidability for Left-Linaer Growing Term Rewriting Systems. - Takashi Nagaya; Yoshihito Toyama (RTA, 1999)

Decidability for Left-Linear Growing Term Rewriting Systems. - Takashi Nagaya; Yoshihito Toyama (Inf. Comput., 2002)