@inproceedings{geneves-pldi07,
 author = {Pierre Genev\`es and Nabil Laya\"ida and Alan Schmitt},
 title = {Efficient Static Analysis of {XML} Paths and Types},
 booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
 year = {2007},
 isbn = {978-1-59593-633-2},
 pages = {342--351},
 location = {San Diego, California, USA},
 doi = {http://doi.acm.org/10.1145/1250734.1250773},
 publisher = {ACM Press},
 address = {New York, NY, USA}
 }