The Complexity of Theorem-Proving Procedures (1971)

by S A COOK
Venue:Proc. 3rd Annual ACM Symp. on Theory of Computing, Association for Computing Machinery