@inproceedings{BKR09csl,
  title = "Cardinality quantifiers in MLO over trees",
  author = "Vince Barany and Lukasz Kaiser and Alexander Rabinovich",
  year = "2009",
  editor = "Erich Graedel and Reinhard Kahle",
  howpublished = "In Proceedings of the 18th Annual Conference of the European Association for Computer Science Logic, CSL '09.",
  pages = "117-131",
  series = "LNCS",
  url = "http://www.logic.rwth-aachen.de/~vbarany/msoc_trees_CSL_final.pdf",
  volume = "5771",
}