@article{BKR10FI,
  title = "Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees",
  author = "Vince Barany and Lukasz Kaiser and Alexander Rabinovich",
  year = "2010",
  howpublished = "to appear in Fundamenta Informaticae, vol. 100",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/msoc_trees_FI.pdf",
}