Termination proofs and derivation lengths in term rewriting systems - Hofbauer, Dieter (1992)
Berlin, Techn. Univ., Diss., 1991. - Mikroreprod. e. Ms. 90 S.