Zur Modelltheorie der Fixpunktlogik - Bosse, Uwe (Freiburg i. Br., Univ., Diss., 1995, 1994)