TY  - RPRT
TI  - Satisfiability of ECTL* with tree constraints
AU  - Claudia Carapelle
AU  - Shiguang Feng
AU  - Alexander Kartzow
AU  - Markus Lohrey
PY  - 2015
UR  - https://arxiv.org/abs/1412.2905
ID  - 1412.2905
ER  -