Title: On the estimation of the length of normal derivations
Subjects: Normal forms (Mathematics), Proof theory