The complexity of theorem-proving procedures, in: Conference Record of Third Annual (1971)

by S A Cook
Venue:ACM Symposium on Theory of Computing (3rd STOC, Shaker Heights