Model theory of XPath on data trees. Part II: Binary bisimulation and definability

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]

Abstract

Abstract is missing.