The complexity of theorem proving procedures (1971)

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