TY  - RPRT
TI  - First-Order Logic on Higher-Order Nested Pushdown Trees
AU  - Alexander Kartzow
PY  - 2012
UR  - https://arxiv.org/abs/1202.1980
ID  - 1202.1980
ER  -