TY  - RPRT
TI  - Cardinality and counting quantifiers on omega-automatic structures
AU  - Lukasz Kaiser
AU  - Sasha Rubin
AU  - Vince Bárány
PY  - 2008
UR  - https://arxiv.org/abs/0802.2866
ID  - 0802.2866
ER  -