@inproceedings{EPTCS277.15,
    Author = {Przyby{{\l}}ko, Marcin},
    BookTitle = {{\rm Proceedings Ninth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Saarbr\"ucken, Germany, 26-28th September 2018}},
    Editor = {Orlandini, Andrea and Zimmermann, Martin},
    File = {paper (0) (0) - a - a - g.pdf},
    Pages = {206-219},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {On Computing the Measures of First-Order Definable Sets of Trees},
    Volume = {277},
    Year = {2018},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.277.15},
    date-added = {2019-03-14 19:02:55 +0100},
    date-modified = {2019-03-14 19:02:55 +0100},
    doi = {10.4204/EPTCS.277.15}
}

@inproceedings{EPTCS277.15, Author = {Przyby{{\l}}ko, Marcin}, BookTitle = {{\rm Proceedings Ninth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Saarbr\"ucken, Germany, 26-28th September 2018}}, Editor = {Orlandini, Andrea and Zimmermann, Martin}, File = {paper (0) (0) - a - a - g.pdf}, Pages = {206-219}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {On Computing the Measures of First-Order Definable Sets of Trees}, Volume = {277}, Year = {2018}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.277.15}, date-added = {2019-03-14 19:02:55 +0100}, date-modified = {2019-03-14 19:02:55 +0100}, doi = {10.4204/EPTCS.277.15} }