First-order and temporal logics for nested words. In: (2007)

by R Alur, M Arenas, P Barcelo, K Etessami, N Immerman, L Libkin
Venue:Proc. of 22nd IEEE Symposium on Logic in Computer Science,