@inproceedings{geneves-tphols04,
AUTHOR = {Pierre Genev\`es and Jean-Yves Vion-Dury},
TITLE = {{XPath} Formal Semantics and Beyond: A {Coq}-Based Approach },
BOOKTITLE = {TPHOLs '04: Emerging Trends Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics},
MONTH = {August},
pages     = {181-198},
location = {Park City, Utah, United States},
publisher = {University Of Utah},
address = {Salt Lake City, Utah, United States},
YEAR = {2004}	
}