DMCA

The complexity of theorem-proving procedures (1971)

Cached

Download Links

by Stephen A. Cook
Venue:IN STOC
Citations:1031 - 4 self