Efficient SAT-based proof search in intuitionistic propositional logic
scientific article; zbMATH DE number 7437081
scientific article