@TechReport{inriarr2006a,
author      = {Pierre Genev\`es and Nabil Laya\"{\i}da},
title       = {Mu-Calculus Based Resolution of XPath Decision Problems},
month       = {March},
year        = {2006},
institution = {INRIA},
number      = {5868},
type        = {Research Report},
url         = {http://www.inria.fr/rrrt/rr-5868.html},
}