TY  - RPRT
TI  - Axiomatizations for downward XPath on Data Trees
AU  - Sergio Abriola
AU  - María Emilia Descotte
AU  - Raul Fervari
AU  - Santiago Figueira
PY  - 2017
UR  - https://arxiv.org/abs/1605.04271
ID  - 1605.04271
ER  -