Author: Logic Colloquium '86 (Hull, England)