@mastersthesis(Albors2014,
 author       = "J. Albors",
 year         = "2014",
 title        = "Procedimiento de refutaci\'on para un conjunto de restricciones sobre documentos {XML}",
 school       = "Facultad de Inform\'atica, San Sebasti\'an",
 note         = "Available at \url {http://www.sc.ehu.es/jiwnagom/PaginaWebLorea/Javier_Albors_PFC.pdf}",
)
@article(BFG08,
 author       = "Michael Benedikt and Wenfei Fan and Floris Geerts",
 year         = "2008",
 title        = "XPath Satisfiability in the Presence of DTDs",
 journal      = "J. ACM",
 volume       = "55",
 number       = "2",
 pages        = "8:1--8:79",
 doi          = "10.1145/1346330.1346333",
)
@article(BK08,
 author       = "Michael Benedikt and Christoph Koch",
 year         = "2009",
 title        = "XPath Leashed",
 journal      = "ACM Comput. Surv.",
 volume       = "41",
 number       = "1",
 pages        = "3:1--3:54",
 doi          = "10.1145/1456650.1456653",
)
@book(CM03,
 author       = "William F. Clocksin and Christopher S. Mellish",
 year         = "1994",
 title        = "Programming in Prolog {(4.} ed.)",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-97596-7",
)
@article(MS04,
 author       = "Gerome Miklau and Dan Suciu",
 year         = "2004",
 title        = "Containment and Equivalence for a Fragment of XPath",
 journal      = "J. ACM",
 volume       = "51",
 number       = "1",
 pages        = "2--45",
 doi          = "10.1145/962446.962448",
)
@inproceedings(NO10,
 author       = "Marisa Navarro and Fernando Orejas",
 year         = "2010",
 title        = "Proving Satisfiability of Constraint Specifications on {XML} Documents",
 booktitle    = "{X} {J}ornadas sobre {P}rogramaci\'on y Lenguajes ({PROLE2010})",
 note         = "Available at \url {http://www.sc.ehu.es/jiwnagom/PaginaWebLorea/cedi.pdf}",
)
@inproceedings(OEP08,
 author       = "Fernando Orejas and Hartmut Ehrig and Ulrike Prange",
 year         = "2008",
 title        = "A Logic of Graph Constraints",
 editor       = "Jos{\'{e}} Luiz Fiadeiro and Paola Inverardi",
 booktitle    = "Fundamental Approaches to Software Engineering, 11th International Conference, {FASE} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "4961",
 publisher    = "Springer",
 pages        = "179--198",
 doi          = "10.1007/978-3-540-78743-3\_14",
)
@misc(WWWC2007,
 author       = "{WORLD WIDE WEB CONSORTIUM}",
 year         = "2007",
 title        = "XML path language (XPath) 2.0.",
)