Kaiser, L., Rubin, S., Bárány, V., Herbstritt, M., 2008. Cardinality and counting quantifiers on omega-automatic structures.. https://doi.org/10.4230/lipics.stacs.2008.1360