On the estimation of the length of normal derivations - Pereira, Luiz Carlos (Gotab Stockholm : University of Stockholm. Departamento of Philosophy, 1982)
Keywords: TEORIA DE LA ESTIMACION; PROBABILIDADES