The complexity of theorem-proving procedures (1971)

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