TY  - RPRT
TI  - Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic
AU  - Martin Lück
PY  - 2017
UR  - https://arxiv.org/abs/1510.08786
ID  - 1510.08786
ER  -