Salvador Lucas Termination of Context-Sensitive Rewriting by Rewriting. 122-133 1996 conf/icalp/1996 ICALP db/conf/icalp/icalp96.html#Lucas96 http://dx.doi.org/10.1007/3-540-61440-0_122