Abriola, Sergio; Barceló, Pablo; Figueira, Diego; Figueira, Santiago Bisimulations on data graphs. (English) Zbl 1426.68179 J. Artif. Intell. Res. (JAIR) 61, 171-213 (2018). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{S. Abriola} et al., J. Artif. Intell. Res. (JAIR) 61, 171--213 (2018; Zbl 1426.68179) Full Text: DOI
Figueira, Diego; Figueira, Santiago; Areces, Carlos Model theory of XPath on data trees. I: Bisimulation and characterization. (English) Zbl 1336.68057 J. Artif. Intell. Res. (JAIR) 53, 271-314 (2015). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{D. Figueira} et al., J. Artif. Intell. Res. (JAIR) 53, 271--314 (2015; Zbl 1336.68057) Full Text: DOI