@inproceedings{Milo_2000,
    doi = {10.1145/335168.335171},
    url = {https://doi.org/10.1145%2F335168.335171},
    year = {2000},
    publisher = {{ACM} Press},
    author = {Tova Milo and Dan Suciu and Victor Vianu},
    title = {Typechecking for {XML} transformers},
    booktitle = {Proceedings of the nineteenth {ACM} {SIGMOD}-{SIGACT}-{SIGART} symposium on Principles of database systems  - {PODS} {\textquotesingle}00}
}

@inproceedings{Milo_2000, doi = {10.1145/335168.335171}, url = {https://doi.org/10.1145%2F335168.335171}, year = {2000}, publisher = {{ACM} Press}, author = {Tova Milo and Dan Suciu and Victor Vianu}, title = {Typechecking for {XML} transformers}, booktitle = {Proceedings of the nineteenth {ACM} {SIGMOD}-{SIGACT}-{SIGART} symposium on Principles of database systems - {PODS} {\textquotesingle}00} }