A termination proof for epsilon substitution using partial derivations - Mints, G. (Theoretical Computer Science, 2003)