Structural complexity of proofs (1974)

by Richard Statman