TY  - RPRT
TI  - Galois correspondence for counting quantifiers
AU  - Andrei A. Bulatov
AU  - Amir Hedayaty
PY  - 2012
UR  - https://arxiv.org/abs/1210.3344
ID  - 1210.3344
ER  -