The complexity of theorem-proving procedures (1971)

by S A Cook
Venue:In STOC ’71: Proceedings of the third annual ACM symposium on Theory of computing. ACM