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

From Quantified CTL to QBF. TIME 2019: 11:1-11:20