@article{geneves-tois06,
 author = {Pierre Genev\`es and Nabil Laya\"ida},
 title = {A system for the static analysis of {XPath}},
 journal = {ACM Trans. Inf. Syst.},
 volume = {24},
 number = {4},
 year = {2006},
 issn = {1046-8188},
 pages = {475--502},
 doi = {http://doi.acm.org/10.1145/1185877.1185882},
 url = {http://wam.inrialpes.fr/publications/2006/geneves-tois06.pdf},
 publisher = {ACM Press},
 address = {New York, NY, USA}
 }