@TechReport{geneves-rr08a,
author = {Pierre Genev\`es and Nabil Laya\"ida and Alan Schmitt},
title = {Efficient Static Analysis of {XML} Paths and Types},
month       = {July},
year        = {2008},
institution = {INRIA},
number      = {6590},
type        = {Research Report},
url         = {http://hal.inria.fr/inria-00305302/en/},
}