Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook

Bruce M. Kapron – University of Victoria

DOI