Bounded variable logics and counting : a study in finite models - Otto, Martin (Berlin : Springer-Verlag, 1996)
Keywords: Model theory; Computational complexity