Dexter Kozen: Lower Bounds for Natural Proof Systems. FOCS 1977: 254-266