"Cardinality and counting quantifiers on omega-automatic structures"

Lukasz Kaiser, Sasha Rubin, Vince Bárány (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics