Bounded variable logics and counting a study in finite models - Otto Martin (Berlin Springer-Verlag, 1997)
Keywords: Finite model theory