@inproceedings{geneves-doceng04,
 author = {Pierre Genev\`es and Jean-Yves Vion-Dury},
 title = {Logic-based {XPath} optimization},
 booktitle = {DocEng '04: Proceedings of the 2004 ACM symposium on Document engineering},
 year = {2004},
 isbn = {1-58113-938-1},
 pages = {211--219},
 location = {Milwaukee, Wisconsin, USA},
 doi = {http://doi.acm.org/10.1145/1030397.1030437},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }