Michael Lampis Stefan Mengel Valia Mitsou QBF as an Alternative to Courcelle's Theorem. 2018 abs/1805.08456 CoRR http://arxiv.org/abs/1805.08456 db/journals/corr/corr1805.html#abs-1805-08456
