DMCA

The complexity of theorem-proving procedures (1971)

Cached

Download Links

by Stephen A. Cook
Venue:IN STOC
Citations:1050 - 5 self