DMCA

Two-variable logic on data trees and XML reasoning

by Mikołaj Bojanczyk , Anca Muscholl , Thomas Schwentick , Luc Segoufin
Citations:84 - 17 self