Abriola, et al.. Definability for Downward and Vertical Xpath on Data Trees. Springer Berlin Heidelberg, 2014, doi:10.1007/978-3-662-44145-9_2.