Bernhard Gramlich Salvador Lucas Modular termination of context-sensitive rewriting. 50-61 2002 conf/ppdp/2002 PPDP http://doi.acm.org/10.1145/571157.571163 db/conf/ppdp/ppdp2002.html#GramlichL02