The complexity of theorem-proving procedures," The 3rd Annual (1971)

by S A Cook
Venue:ACM Symposium on Theory of Computing, Shaker Heights, OH