H.: Exact XML type checking in polynomial time (2007)

by S Maneth, T Perst, Seidl
Venue:ICDT. Lecture Notes in Computer Science