Michael Lampis et al.: QBF as an Alternative to Courcelle's Theorem. (2018)journals/corr/abs-1805-084561805.08456QBF as an Alternative to Courcelle's Theorem.3Michael Lampis1Stefan Mengel2Valia Mitsou3CoRRCoRRabs/1805.084562018provenance information for RDF data of dblp record 'journals/corr/abs-1805-08456'2018-08-13T16:47:48+0200