Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

Open in new window