Metafinite Model Theory (1998)

by Erich Grädel, Yuri Gurevich
Venue:Information and Computation