Peter Z. Revesz. Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints. In Georg Gottlob, András A. Benczúr, János Demetrovics, editors, Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing. Volume 3255 of Lecture Notes in Computer Science, pages 1-21, Springer, 2004. [doi]
Abstract is missing.