DMCA

The complexity of theorem-proving procedures (1971)

Cached

Download Links

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