Lower bounds for natural proof systems (1977)

by D Kozen
Venue:In Foundations of Computer Science, 1977., 18th Annual Symposium on