Lower bounds for natural proof systems (1977)

by D Kozen
Venue:18th Annual Symposium on Foundations of Computer Science (FOCS