Jinghua Groppe. Speeding up XML querying: satisfiability test & containment test of XPath queries in the presence of XML schema definitions. PhD thesis, University of Lübeck, 2008. [doi]
@phdthesis{de-5392,
title = {Speeding up XML querying: satisfiability test & containment test of XPath queries in the presence of XML schema definitions},
author = {Jinghua Groppe},
year = {2008},
url = {http://www.students.informatik.uni-luebeck.de/zhb/ediss506.pdf},
note = {http://d-nb.info/990384934},
researchr = {https://researchr.org/publication/de-5392},
cites = {0},
citedby = {0},
school = {University of Lübeck},
}