Marcelo Arenas, Pablo Barceló, Leonid Libkin: Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373