@article(ASV06,
 author       = "Serge Abiteboul and Luc Segoufin and Victor Vianu",
 year         = "2006",
 title        = "Representing and querying {XML} with incomplete information",
 journal      = "ACM Trans. Database Syst.",
 volume       = "31",
 number       = "1",
 pages        = "208--254",
 doi          = "10.1145/1132863.1132869",
)
@inproceedings(NTFDV01,
 author       = "Noga Alon and Tova Milo and Frank Neven and Dan Suciu and Victor Vianu",
 year         = "2001",
 title        = "{XML} with data values: typechecking revisited",
 booktitle    = "Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems",
 series       = "PODS '01",
 publisher    = "ACM",
 pages        = "138--149",
 doi          = "10.1145/375551.375570",
)
@article(MATL09,
 author       = "Mikoaj Boja\'{n}czyk and Anca Muscholl and Thomas Schwentick and Luc Segoufin",
 year         = "2009",
 title        = "Two-variable logic on data trees and {XML} reasoning",
 journal      = "J. ACM",
 volume       = "56",
 number       = "3",
 pages        = "13:1--13:48",
 doi          = "10.1145/1516512.1516515",
)
@inproceedings(Ch13,
 author       = "James Cheney",
 year         = "2013",
 title        = "Static Enforceability of {XPath}-Based Access Control Policies",
 booktitle    = "Proceedings of the 14th International Symposium on Database Programming Languages",
 url          = "http://arxiv.org/abs/1308.0502",
)
@article(DVPS02,
 author       = "Ernesto Damiani and Sabrina De Capitani di Vimercati and Stefano Paraboschi and Pierangela Samarati",
 year         = "2002",
 title        = "A fine-grained access control system for {XML} documents",
 journal      = "ACM Trans. Inf. Syst. Secur.",
 volume       = "5",
 number       = "2",
 pages        = "169--202",
 doi          = "10.1145/505586.505590",
)
@article(HKIF12,
 author       = "Kenji Hashimoto and Hiroto Kawai and Yasunori Ishihara and Toru Fujiwara",
 year         = "2012",
 title        = "Decidability of the Security against Inference Attacks using a Functional Dependency on {XML} Databases",
 journal      = "IEICE Transactions on Information and Systems",
 volume       = "E95-D",
 number       = "5",
 pages        = "1365--1374",
 doi          = "10.1587/transinf.E95.D.1365",
)
@article(HSTIF09,
 author       = "Kenji Hashimoto and Kimihide Sakano and Fumikazu Takasuka and Yasunori Ishihara and Toru Fujiwara",
 year         = "2009",
 title        = "Verification of the Security against Inference attacks on {XML} Databases",
 journal      = "IEICE Transactions on Information and Systems",
 volume       = "E92-D",
 number       = "5",
 pages        = "1022--1032",
 doi          = "10.1587/transinf.E92.D.1022",
)