Two-variable logic on data trees and XML reasoning.

Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin

Browse the full PODS paper archive.