The complexity of theorem-proving procedures (1971)

by S A Cook
Venue:Proceedings of the 3rd ACM Symposium on Theory of Computing