From Quantified CTL to QBF. - Akash Hossain; François Laroussinie (TIME, 2019)

QCTL model-checking with QBF solvers. - Akash Hossain; François Laroussinie (Inf. Comput., 2021)