@inproceedings{Jacquemard_2010,
    doi = {10.1145/1836089.1836105},
    url = {https://doi.org/10.1145%2F1836089.1836105},
    year = {2010},
    month = {jul},
    publisher = {{ACM}},
    author = {Florent Jacquemard and Michael Rusinowitch},
    title = {Rewrite-based verification of {XML} updates},
    booktitle = {Proceedings of the 12th international {ACM} {SIGPLAN} symposium on Principles and practice of declarative programming}
}

@inproceedings{Jacquemard_2010, doi = {10.1145/1836089.1836105}, url = {https://doi.org/10.1145%2F1836089.1836105}, year = {2010}, month = {jul}, publisher = {{ACM}}, author = {Florent Jacquemard and Michael Rusinowitch}, title = {Rewrite-based verification of {XML} updates}, booktitle = {Proceedings of the 12th international {ACM} {SIGPLAN} symposium on Principles and practice of declarative programming} }