B. Gramlich, S. Lucas:
"Modular Termination of Context-Sensitive Rewriting";
in: "Proc. 4th International Conference on Principles and Practice of Declarative Programming (PPDP 2002)", C. Kirchner (ed.); ACM Press, 2002, ISBN: 1-58113-528-9, 50 - 61.