@inproceedings{KRB08stacs,
  title = "Cardinality and counting quantifiers on omega-automatic structures",
  author = "Lukasz Kaiser and Sasha Rubin and Vince Barany",
  year = "2008",
  booktitle = "Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008",
  editor = "S. Albers and P. Weil",
  pages = "385-396",
  url = "http://hal.archives-ouvertes.fr/hal-00227560/",
}