The number of proof lines and the size of proofs in first-order logic, Archive for (1988)

by J Kraj'icek, P Pudl'ak
Venue:Mathematical Logic