@misc{indiciaefc96351f8d1a, title = {Logics for XML}, author = {Pierre Geneves}, year = {2014}, url = {https://arxiv.org/abs/0810.4460}, note = {Source identifier: 0810.4460} }