The complexity of theorem-proving procedures (1971)

by S A Cook
Venue:In Proc. Third Annual ACM Symposium Theory of Computing