Author: Logic Colloquium '92 (Veszprem, Hungary : 1992)