SAT-based proof search in intermediate propositional logics
scientific article; zbMATH DE number 7628181
scientific article