Author: Logic Colloquium '88 (Padova, Italy)