@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}, }