The Complexity of Theorem-Proving (1971)

by S A Cook
Venue:Procedures,” Proceedings of the Third ACM Symposium on Theory of Computing. 151