Lower Bounds for Natural Proof Systems (1977)

by D Kozen
Venue:In FOCS