B. Gramlich, S. Lucas: "Simple Termination of Context-Sensitive Rewriting"; in: "Proc. 3rd ACM Sigplan Workshop on Rule-based Programming (RULE 2002)", Springer, 2002, ISBN: 1-58113-606-4, 29 - 41.