Logics For Xml by Pierre Geneves