@TechReport{inriarr2006b,
author      = {Pierre Genev\`es and Nabil Laya\"{\i}da},
title       = {A Decision Procedure for {XPath} Containment},
month       = {March},
year        = {2006},
institution = {INRIA},
number      = {5867},
type        = {Research Report},
url         = {http://www.inria.fr/rrrt/rr-5867.html},
}