Workshop on Logic and Computation (1987 Carnegie Mellon University)