TY  - RPRT
TI  - Constraint Satisfaction with Counting Quantifiers
AU  - Florent Madelaine
AU  - Barnaby Martin
AU  - Juraj Stacho
PY  - 2011
UR  - https://arxiv.org/abs/1112.2974
ID  - 1112.2974
ER  -