@misc{indiciae3103b0082786,
  title = {Axiomatizations for downward XPath on Data Trees},
  author = {Sergio Abriola and María Emilia Descotte and Raul Fervari and Santiago Figueira},
  year = {2017},
  url = {https://arxiv.org/abs/1605.04271},
  note = {Source identifier: 1605.04271}
}