Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126) - Droste, Manfred; Gurevich, Yuri