p2007

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessani, Neil Immerman, Leonid Libkin, First-Order and Temporal Logics for Nested Words, Proc. 22nd Annual IEEE Symposium on Logic in Computer Science, pp. 151-161, 2007.