Author: Symposium on the Complexity of Computer Computations, Yorktown Heights, N.Y. 1972