@phdthesis{geneves-phd06,
           author = {Pierre Genev\`es},
           title = {Logics for {XML}},
           school = {Institut National Polytechnique de Grenoble},
           year = {2006},
           month = {December}
           }