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

by T Nagaya, Y Toyama
Venue:In RTA ’99: Proceedings of the 10th International Conference on Rewriting Techniques and Applications