Feasibly constructive proofs and the propositional calculus (1975)

by S A Cook
Venue:In Proc. 7th Annual ACM Symposium on Theory of Computing. 83–97