The complexity of theorem-proving procedures, in (1971)

by S A Cook
Venue:Proc. 3rd Ann. ACM Symp. on Theory of Computing,