Two-Variable Logic on Data Trees and XML Reasoning

doi 10.1145/1142351.1142354
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press