Logic Colloquim '96 : Proceedings of colloquim held in san sebastian , spain , july 9-15 ,1996 - Larrazabal , J.M; Lascar , D.; Mints, G (Lecture Notes in Logic :, 1998)