Decidable approximations of term rewriting systems (1996)

by F Jacquemard
Venue:In Proceedings of the 7th International Conference on Rewriting Techniques and Applications