@book{geneves-book09,
author = {Pierre Genev\`es},
title = {Logics for XML: Reasoning about Trees.},
isbn = {3639193717},
publisher = {VDM Verlag} ,
month = {September},
year = {2009}
}