Works by or with Stephen A. Cook in the bibliography:The complexity of theorem-proving procedures (1971)Time bounded random access machines (1973)