First-order and temporal logics for nested words (2008)

by R Alur, M Arenas, P Barceló, K Etessami, N Immerman, L Libkin
Venue:Logical Methods in Computer Science 4(4