Termination of lazy rewriting revisited (0)

by F Schernhammer, B Gramlich
Venue:Electronic Notes in Theoretical Computer Science, 204:35–51, Apr. 2008. Final Proc. WRS’07, Jürgen Giesl