Bounded variable logics and counting a study in finite models - Otto, Martin 1961- (Cambridge University Press, 2016)
Title from publisher's bibliographic system (viewed on 18 Apr 2017)