The complexity of theorem-proving procedures (1971)

by Stephen A Cook
Venue:In Proceedings of the Third IEEE Symposium on the Foundations of Computer Science