TY  - RPRT
TI  - Counting Constraints in Flat Array Fragments
AU  - Francesco Alberti
AU  - Silvio Ghilardi
AU  - Elena Pagani
PY  - 2016
UR  - https://arxiv.org/abs/1602.00458
ID  - 1602.00458
ER  -