On the estimation of the length of normal derivations - Pereira, Luiz Carlos (University of Stockholm. Departamento of Philosophy, 1982)