@inproceedings{Jurdzinski_2007,
    doi = {10.1109/lics.2007.11},
    url = {https://doi.org/10.1109%2Flics.2007.11},
    year = {2007},
    publisher = {{IEEE}},
    author = {Marcin Jurdzinski and Ranko Lazic},
    title = {Alternation-free modal mu-calculus for data trees},
    booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)}
}

@inproceedings{Jurdzinski_2007, doi = {10.1109/lics.2007.11}, url = {https://doi.org/10.1109%2Flics.2007.11}, year = {2007}, publisher = {{IEEE}}, author = {Marcin Jurdzinski and Ranko Lazic}, title = {Alternation-free modal mu-calculus for data trees}, booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)} }