Incremental termination proofs and the lenght of derivations - Drewes, Frank; Lautemann, Clemens (Fachbereich Mathematik und Informatik, Univ., 1990)