Termination proofs and derivation lengths in term rewriting systems - Hofbauer, Dieter (1992)