Text this: Bounded variable logics and counting : a study in finite models / Martin Otto.