@incollection(Benedikt13,
 author       = "Michael Benedikt and Joost Engelfriet and Sebastian Maneth",
 year         = "2013",
 title        = "Determinacy and Rewriting of Top-Down and MSO Tree Transformations",
 editor       = "Krishnendu Chatterjee and Jir\'\i \ Sgall",
 booktitle    = "Mathematical Foundations of Computer Science 2013",
 series       = "Lecture Notes in Computer Science",
 volume       = "8087",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "146--158",
 doi          = "10.1007/978-3-642-40313-2\_15",
)
@inproceedings(Bohannon05,
 author       = "Philip Bohannon and Wenfei Fan and Michael Flaster and P. P. S. Narayan",
 year         = "2005",
 title        = "Information preserving {XML} schema embedding",
 booktitle    = "Proceedings of the 31st international conference on Very large data bases",
 series       = "VLDB '05",
 publisher    = "VLDB Endowment",
 pages        = "85--96",
 url          = "http://dl.acm.org/citation.cfm?id=1083592.1083606",
)
@article(Groz13,
 author       = "Benoit Groz and Slawomir Staworko and Anne-C{\'e}cile Caron and Yves Roos and Sophie Tison",
 year         = "2014",
 title        = "Static analysis of {XML} security views and query rewriting",
 journal      = "Information and Computation",
 url          = "http://hal.archives-ouvertes.fr/hal-00796297",
)
@incollection(Hashimoto13,
 author       = "Kenji Hashimoto and Ryuta Sawada and Yasunori Ishihara and Hiroyuki Seki and Toru Fujiwara",
 year         = "2013",
 title        = "Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers",
 editor       = "Adrian-Horia Dediu and Carlos Mart\'in-Vide and Bianca Truthe",
 booktitle    = "Language and Automata Theory and Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "7810",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "335--346",
 doi          = "10.1007/978-3-642-37064-9\_30",
)
@incollection(Niehren05,
 author       = "Joachim Niehren and Laurent Planque and Jean-Marc Talbot and Sophie Tison",
 year         = "2005",
 title        = "N-Ary Queries by Tree Automata",
 editor       = "Gavin Bierman and Christoph Koch",
 booktitle    = "Database Programming Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "3774",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "217--231",
 doi          = "10.1007/11601524\_14",
)
@article(Thatcher68,
 author       = "J.W. Thatcher and J.B. Wright",
 year         = "1968",
 title        = "Generalized finite automata theory with an application to a decision problem of second-order logic",
 journal      = "Mathematical systems theory",
 volume       = "2",
 number       = "1",
 pages        = "57--81",
 doi          = "10.1007/BF01691346",
)