Bounds for proof-search and speed-up in the predicate calculus (1978)

by Richard Statman
Venue:Annals of Mathematical Logic