TY  - RPRT
TI  - Constraint Satisfaction with Counting Quantifiers 2
AU  - Barnaby Martin
AU  - Juraj Stacho
PY  - 2013
UR  - https://arxiv.org/abs/1312.7605
ID  - 1312.7605
ER  -