Lukasz Kaiser Sasha Rubin Vince Bárány Cardinality and counting quantifiers on omega-automatic structures. 2008 STACS 385-396 http://drops.dagstuhl.de/opus/volltexte/2008/1360 conf/stacs/2008 db/conf/stacs/stacs2008.html#KaiserRB08