Feasibly constructive proofs and the propositional calculus (1975)

by Stephen Cook
Venue:Proceedings of the 7th Annual ACM Symposium on Theory of computing