Termination of lazy rewriting revisited (2007)

by F Schernhammer, B Gramlich