Peter Z. Revesz The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints. 167-182 2005 conf/adbis/2005 ADBIS http://dx.doi.org/10.1007/11547686_13 db/conf/adbis/adbis2005.html#Revesz05