Author: Logic Colloquium '87 (1987 Granada, Spain)