@article{Libkin_2010,
    doi = {10.1016/j.jal.2009.09.005},
    url = {https://doi.org/10.1016%2Fj.jal.2009.09.005},
    year = {2010},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {8},
    number = {2},
    pages = {210--232},
    author = {Leonid Libkin and Cristina Sirangelo},
    title = {Reasoning about {XML} with temporal logics and automata},
    journal = {Journal of Applied Logic}
}

@article{Libkin_2010, doi = {10.1016/j.jal.2009.09.005}, url = {https://doi.org/10.1016%2Fj.jal.2009.09.005}, year = {2010}, month = {jun}, publisher = {Elsevier {BV}}, volume = {8}, number = {2}, pages = {210--232}, author = {Leonid Libkin and Cristina Sirangelo}, title = {Reasoning about {XML} with temporal logics and automata}, journal = {Journal of Applied Logic} }