TY  - RPRT
TI  - From Quantified CTL to QBF
AU  - Akash Hossain
AU  - Francois Laroussinie
PY  - 2019
UR  - https://arxiv.org/abs/1906.10005
ID  - 1906.10005
ER  -