Author: Logic Colloquium (1997 Leeds, England)