TY  - RPRT
TI  - First-Order and Temporal Logics for Nested Words
AU  - Rajeev Alur
AU  - Marcelo Arenas
AU  - Pablo Barcelo
AU  - Kousha Etessami
AU  - Neil Immerman
AU  - Leonid Libkin
PY  - 2011
DO  - 10.2168/lmcs-4(4:11)2008
UR  - https://arxiv.org/abs/0811.0537
ID  - 0811.0537
ER  -