Author: Symposium on the Complexity of Computer Computations (1972 IBM Thomas J. Watson Research Center, New York)