TY  - RPRT
TI  - Characterizing Weighted MSO for Trees by Branching Transitive Closure Logics
AU  - Zoltán Fülöp
AU  - Heiko Vogler
PY  - 2015
DO  - 10.1016/j.tcs.2015.04.024
UR  - https://arxiv.org/abs/1208.5317
ID  - 1208.5317
ER  -