TY  - RPRT
TI  - Logics for Unranked Trees: An Overview
AU  - Leonid Libkin
PY  - 2006
DO  - 10.2168/lmcs-2(3:2)2006
UR  - https://arxiv.org/abs/cs/0606062
ID  - cs/0606062
ER  -