Dallas Lankford: On Proving term rewriting systems are Noetherian, 1979.
siehe http://perso.ens-lyon.fr/pierre.lescanne/not_accessible.html#termination
Nachum Dershowitz: 33 Examples of Termination, 1995. http://www.math.tau.ac.il/~nachumd/papers/printemp-print.pdf
TeReSe (Lite), VU Amsterdam, 2008. http://www.cs.vu.nl/~tcs/trs/ (Lect. 5, 6)