The complexity of theorem-proving procedures (1971)

by Stephen A. Cook
Venue:IN STOC