Bernhard Gramlich Salvador Lucas Generalizing Newman's Lemma for Left-Linear Rewrite Systems. 66-80 2006 conf/rta/2006 RTA http://dx.doi.org/10.1007/11805618_6 db/conf/rta/rta2006.html#GramlichL06