Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
scientific article; zbMATH DE number 1501503