"A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas."

Emily Yu, Martina Seidl, Armin Biere (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics