Author: Logic Colloquium (1986 Hull, Humberside)