Reasoning about XML with temporal logics and automata. (2010)

by L Libkin, C Sirangelo
Venue:J. Applied Logic,