![](/img/cover-not-exists.png)
Two-variable logic on data trees and XML reasoning
Bojańczyk, Mikoaj, Muscholl, Anca, Schwentick, Thomas, Segoufin, LucVolume:
56
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/1516512.1516515
Date:
May, 2009
File:
PDF, 471 KB
english, 2009