Author: Logic Colloquium (1992 Veszprém, Hungary)