@INPROCEEDINGS{geneves-planx07,
   AUTHOR = {Pierre Genev\`es and Nabil Laya\"ida and Alan Schmitt},
   TITLE = {{XPath} Typing Using a Modal Logic with Converse for Finite Trees },
   BOOKTITLE = {PLAN-X'07: Informal Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007},
   PUBLISHER = {},
   LOCATION = {Nice, France},
   MONTH = {January},
   YEAR = {2007},
   PAGES = {},
   URL = {http://wam.inrialpes.fr/publications/2007/geneves-planx07.pdf}
 }