@article{Arenas_2008,
    doi = {10.1137/050646895},
    url = {https://doi.org/10.1137%2F050646895},
    year = {2008},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {38},
    number = {3},
    pages = {841--880},
    author = {Marcelo Arenas and Wenfei Fan and Leonid Libkin},
    title = {On the Complexity of Verifying Consistency of {XML} Specifications},
    journal = {{SIAM} Journal on Computing}
}

@article{Arenas_2008, doi = {10.1137/050646895}, url = {https://doi.org/10.1137%2F050646895}, year = {2008}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {38}, number = {3}, pages = {841--880}, author = {Marcelo Arenas and Wenfei Fan and Leonid Libkin}, title = {On the Complexity of Verifying Consistency of {XML} Specifications}, journal = {{SIAM} Journal on Computing} }