i cek and P. Pudl' ak, "The number of proof lines and the size of proofs in first order logic (1988)

by J Kraj'
Venue:Archive for Mathematical Logic, Vol