Building strategies into QBF proofs
scientific article; zbMATH DE number 7356969
scientific article