Dual proof generation for quantified Boolean formulas with a BDD-based solver
scientific article; zbMATH DE number 7437093
scientific article