Metafinite model theory

Grädel, Erich; Gurevich, Yuri

Orlando, Fla / Academic Press [u.a.] (1998) [Journal Article]

Information and computation
Volume: 140
Issue: 1
Page(s): 26-81