Metafinite model theory (1998)

by E Grädel, Y Gurevich
Venue:Information and Computation