Workshop on Logic and Computation (1987 Carnegie Mellon University)
Books by Workshop on Logic and Computation (1987 Carnegie Mellon University) on BookTides.