Erich Grädel, Yuri Gurevich. Metafinite Model Theory. In Daniel Leivant, editor, Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC 94, Indianapolis, Indiana, USA, 13-16 October 1994. Volume 960 of Lecture Notes in Computer Science, pages 313-366, Springer, 1994.
Abstract is missing.