Sergio Abriola, María Emilia Descotte, Santiago Figueira. Model theory of XPath on data trees. Part II: Binary bisimulation and definability. Inf. Comput., 255:195-223, 2017. [doi]
@article{AbriolaDF17, title = {Model theory of XPath on data trees. Part II: Binary bisimulation and definability}, author = {Sergio Abriola and María Emilia Descotte and Santiago Figueira}, year = {2017}, doi = {10.1016/j.ic.2017.01.002}, url = {https://doi.org/10.1016/j.ic.2017.01.002}, researchr = {https://researchr.org/publication/AbriolaDF17}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {255}, pages = {195-223}, }