Author: Logic Colloquium '88 (1988 Padova, Italy)