The following publications are possibly variants of this publication:
- Termination of Context-Sensitive Rewriting by RewritingSalvador Lucas. icalp 1996: 122-133
- Modular termination of context-sensitive rewritingBernhard Gramlich, Salvador Lucas. ppdp 2002: 50-61 [doi]
- Simple termination of context-sensitive rewritingBernhard Gramlich, Salvador Lucas. RULE 2002: 29-42 [doi]
- Termination of (Canonical) Context-Sensitive RewritingSalvador Lucas. RTA 2002: 296-310 [doi]
- Polynomials for Proving Termination of Context-Sensitive RewritingSalvador Lucas. fossacs 2004: 318-332 [doi]
- Using Context-Sensitive Rewriting for Proving Innermost Termination of RewritingBeatriz Alarcón, Salvador Lucas. ENTCS, 248:3-17, 2009. [doi]
- Proving Termination of Context-Sensitive Rewriting with MU-TERMBeatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas. ENTCS, 188:105-115, 2007. [doi]
- Proving termination of context-sensitive rewriting by transformationSalvador Lucas. iandc, 204(12):1782-1846, 2006. [doi]
- Termination of Innermost Context-Sensitive Rewriting Using Dependency PairsBeatriz Alarcón, Salvador Lucas. frocos 2007: 73-87 [doi]