"Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees."

Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics