Tue, 01 Jan 2019 00:00:00 +0100

From Quantified CTL to QBF. CoRR abs/1906.10005 (2019)