On the exact complexity of evaluating quantified \(k\)-\textsc{cnf}
scientific article; zbMATH DE number 6163650
scientific article