QBF as an alternative to Courcelle's theorem
scientific article; zbMATH DE number 6916310
scientific article