Return to Article Details Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Download Download PDF