Davis and Putnam meet Henkin: solving DQBF with resolution
scientific article; zbMATH DE number 7495564
scientific article