Modular termination of context-sensitive rewriting, in: C. Kirchner (Ed (2002)

by B Gramlich, S Lucas
Venue:Proc. of 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP’02, ACM