The complexity of theorem-proving procedures (1971)

by S A Cook
Venue:In Conference Record of Third Annual ACM Symposium on Theory of Computing