Author: Logic Colloquium (1996 San Sebastián, Spain)