@inproceedings(benedikt_cheney,
 author       = "M. Benedikt and J. Cheney",
 year         = "2009",
 title        = "{Semantics, Types and Effects for XML Updates}",
 booktitle    = "DBPL '09: Proceedings of the 12th International Symposium on Database Programming Languages",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "1--17",
 doi          = "10.1007/978-3-642-03793-1\_1",
)
@inproceedings(BonevaCGRTS11,
 author       = "I. Boneva and A-C Caron and B. Groz and Y. Roos and S. Tison and S. Staworko",
 year         = "2011",
 title        = "View update translation for XML",
 booktitle    = "ICDT",
 pages        = "42--53",
 doi          = "10.1145/1938551.1938560",
)
@misc(murata-Bruggemann-Klein01regulartree,
 author       = "A. Br\"uggemann-Klein and M. Murata and D. Wood",
 year         = "2001",
 title        = "{Regular Tree and Regular Hedge Languages over Unranked Alphabets: Version 1}",
)
@inproceedings(icde11,
 author       = "F. Cavalieri and G. Guerrini and M. Mesiti",
 year         = "2011",
 title        = "{Updating XML Schemas and Associated Documents through Exup}",
 booktitle    = "Proc. of the 27th International Conference on Data Engineering",
 pages        = "1320--1323",
 doi          = "10.1109/ICDE.2011.5767951",
)
@misc(relax_ng_spec,
 author       = "J. Clark and M. Murata",
 year         = "2001",
 title        = "{RELAX NG Specification}",
 howpublished = "\url {http://www.relaxng.org/spec-20011203.html}",
)
@misc(tata2007,
 author       = "H. Comon and M. Dauchet and R. Gilleron and C. L\"oding and F. Jacquemard and D. Lugiez and S. Tison and M. Tommasi",
 year         = "2007",
 title        = "{Tree Automata Techniques and Applications}",
 howpublished = "Available on: \url {http://www.grappa.univ-lille3.fr/tata}",
 note         = "Release October, 12th 2007",
)
@misc(xqueryupdatefacility_w3c,
 author       = "{D. Chamberlin and M. Dyck and D. Florescu and J. Melton and J. Robie and J. Sim\'eon}",
 year         = "2009",
 title        = "{XQuery Update Facility 1.0}",
 howpublished = "\url {http://www.w3.org/TR/2009/CR-xquery-update-10-20090609/}",
)
@article(genevestoit2012,
 author       = "P. Geneves and N. Layaiada and V. Quint",
 year         = "2011",
 title        = "{Impact of XML Schema Evolution}",
 journal      = "ACM Trans. Internet Technol.",
 volume       = "11",
 number       = "1",
 doi          = "10.1145/1993083.1993087",
)
@inproceedings(xsym07,
 author       = "G. Guerrini and M. Mesiti and M. Sorrenti",
 year         = "2007",
 title        = "{XML Schema Evolution: Incremental Validation and Efficient Document Adaptation}",
 booktitle    = "Database and XML Technologies, 5th International XML Database Symposium",
 pages        = "92--106",
 doi          = "10.1007/978-3-540-75288-2\_8",
)
@misc(xpath_w3c,
 author       = "{J. Clark and S. DeRose}",
 year         = "1999",
 title        = "{XML Path Language (XPath) V1.0}",
 howpublished = "\url {http://www.w3.org/TR/xpath/}",
)
@inproceedings(jacqemard_rusinowitch,
 author       = "F. Jacquemard and M. Rusinowitch",
 year         = "2010",
 title        = "Rewrite-based verification of XML updates",
 booktitle    = "Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming",
 organization = "ACM",
 pages        = "119--130",
 doi          = "10.1145/1836089.1836105",
)
@inproceedings(ManethBPS05,
 author       = "S. Maneth and A. Berlea and T. Perst and H. Seidl",
 year         = "2005",
 title        = "{XML type checking with macro tree transducers}",
 booktitle    = "PODS",
 pages        = "283--294",
 doi          = "10.1145/1065167.1065203",
)
@inproceedings(murata:dtd_transf,
 author       = "M. Murata",
 year         = "1997",
 title        = "{DTD Transformation by Patterns and Contextual Conditions}",
 booktitle    = "Proc. SGML/XML",
 volume       = "97",
 pages        = "325--332",
)
@inproceedings(murata_schema_trans,
 author       = "M. Murata",
 year         = "1997",
 title        = "{Transformation of Documents and Schemas by Patterns and Contextual Conditions}",
 booktitle    = "PODP '96: Proceedings of the Third International Workshop on Principles of Document Processing",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "153--169",
 doi          = "10.1007/3-540-63620-X\_61",
)
@article(TaxXML,
 author       = "M. Murata and D. Lee and M. Mani and K. Kawaguchi",
 year         = "2005",
 title        = "{Taxonomy of XML schema languages using formal language theory}",
 journal      = "ACM Trans. Internet Technol.",
 volume       = "5",
 number       = "4",
 pages        = "660--704",
 doi          = "10.1145/1111627.1111631",
)
@misc(xmlschema_w3c,
 author       = "{P. Walmsley and D.C. Fallside}",
 year         = "2004",
 title        = "{XML Schema Part 0: Primer Second Edition}",
 howpublished = "\url {http://www.w3.org/TR/2004/REC-xmlschema-0-20041028/}",
)
@article(RaghavachariS07,
 author       = "M. Raghavachari and O. Shmueli",
 year         = "2007",
 title        = "{Efficient Revalidation of XML Documents}",
 journal      = "IEEE Trans. Knowl. Data Eng.",
 volume       = "19",
 number       = "4",
 pages        = "554--567",
 doi          = "10.1109/TKDE.2007.1004",
)
@techreport(techrep,
 author       = "A. Solimando and G. Delzanno and G. Guerrini",
 year         = "2011",
 title        = "{Static Analysis of XML Document Adaptations through Hedge Automata}",
 type         = "Technical Report",
 number       = "DISI-TR-11-08",
 institution  = "DISI, University of Genova",
)
@article(Touili_computingtransitive,
 author       = "T. Touili",
 year         = "2012",
 title        = "{Computing Transitive Closures of Hedge Transformations}",
 journal      = "Int. Journal of Critical Computer-Based Systems",
 volume       = "3",
 pages        = "132--150",
 doi          = "10.1504/IJCCBS.2012.045079",
)
@misc(relax_ng_vandervlist,
 author       = "E. van der Vlist",
 year         = "2003",
 title        = "{RELAX NG}",
 howpublished = "\url {http://books.xmlschemata.org/relaxng/page2.html}",
)
@misc(dtd_w3c,
 author       = "W3Schools",
 title        = "{DTD Tutorial}",
 howpublished = "\url {http://www.w3schools.com/dtd/default.asp}",
)
@inproceedings(sheaves_automata,
 author       = "S. Dal Zilio and D. Lugiez",
 year         = "2003",
 title        = "XML schema, tree logic and sheaves automata",
 booktitle    = "Rewriting Techniques and Applications",
 organization = "Springer",
 pages        = "246--263",
)