\sammlung{15668 Endliche Modelltheorie}
15620 Bernhard Ganter/Ru''diger Kraus''e: Pseudo models and propositional
Horn inference. Internet 1999, 11p.\\

14313 Ronald Fagin: Finite model theory - a personal perspective.
Theor. Comp. Sci. 116 (1993), 3-31.\\

14334 Ronald Fagin: Generalized first-order spectra and
polynomial-time recognizable sets. In Karp 1974, 43-73.\\

14308 John Baldwin: Theories in finite model theory.\par Internet 1999, 9p.
\end{tabular}