@inproceedings{SeidlSM08,
  author = {Helmut Seidl and Thomas Schwentick and Anca Muscholl},
  title = {Counting in trees},
  booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].},
  editor = {J\"org Flum and Erich Gr\"adel and Thomas Wilke},
  year = 2008,
  pages = {575--612},
  publisher = {Springer, Texts in Logic and Games 2},
}