Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for unordered trees with data constraints. J. Comput. Syst. Sci., 104:149-164, 2019. [doi]
@article{BoiretHNT19,
title = {Logics for unordered trees with data constraints},
author = {Adrien Boiret and Vincent Hugot and Joachim Niehren and Ralf Treinen},
year = {2019},
doi = {10.1016/j.jcss.2018.11.004},
url = {https://doi.org/10.1016/j.jcss.2018.11.004},
researchr = {https://researchr.org/publication/BoiretHNT19},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {104},
pages = {149-164},
}