Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira. Axiomatizations for downward XPath on data trees. J. Comput. Syst. Sci., 89:209-245, 2017. [doi]
@article{AbriolaDFF17,
title = {Axiomatizations for downward XPath on data trees},
author = {Sergio Abriola and María Emilia Descotte and Raul Fervari and Santiago Figueira},
year = {2017},
doi = {10.1016/j.jcss.2017.05.008},
url = {https://doi.org/10.1016/j.jcss.2017.05.008},
researchr = {https://researchr.org/publication/AbriolaDFF17},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {89},
pages = {209-245},
}