TY  - RPRT
TI  - Trees over Infinite Structures and Path Logics with Synchronization
AU  - Alex Spelten
AU  - Wolfgang Thomas
AU  - Sarah Winter
PY  - 2011
DO  - 10.4204/eptcs.73.5
UR  - https://arxiv.org/abs/1111.3107
ID  - 1111.3107
ER  -