Frank Drewes, Clemens Lautemann. Incremental Termination Proofs and the Length of Derivations. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 49-61, Springer, Como, Italy, 1991.
Abstract is missing.