TY  - RPRT
TI  - Quantified CTL: Expressiveness and Complexity
AU  - François Laroussinie
AU  - Nicolas Markey
PY  - 2014
DO  - 10.2168/lmcs-10(4:17)2014
UR  - https://arxiv.org/abs/1411.4332
ID  - 1411.4332
ER  -