Cardinality and counting quantifiers on omega-automatic structures
Lukasz Kaiser, Sasha Rubin and Vince Barany
In S. Albers, P. Weil, editors, Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 pages 385-396. 2008.