 Tim Rohlfs

Credited as transcriber, not original author, in the first-page footnote of the revision-3 transcription of The Complexity of Theorem-Proving Procedures by Stephen A. Cook.

Identity source: www.inf.unibz.it/~calvanese/teaching/tc/material/cook-1971-NP-completeness-of-SAT.pdf