Two-variable logic on data trees and XML reasoning. (2009)

by M Bojanczyk, A Muscholl, T Schwentick, L Segoufin
Venue:Journal of the ACM,