Title: Bounded variable logics and counting
First published: 1996
Subjects: Model theory, Computational complexity
LC classification: QA9.7