Hardness and optimality in QBF proof systems modulo NP
scientific article; zbMATH DE number 7495568
scientific article