The complexity of theoremproving procedures (1971)

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