The Complexity of Theorem-Proving (1971)

by S Cook
Venue:Procedures, Proceedings of the 3rd Annual ACM Symposium on Theory of Computing