Mikolaj Bojanczyk Anca Muscholl Thomas Schwentick Luc Segoufin Two-variable logic on data trees and XML reasoning. 2009 56 J. ACM 3 http://doi.acm.org/10.1145/1516512.1516515 db/journals/jacm/jacm56.html#BojanczykMSS09