Interpolation properties of superintuitionistic logics
scientific article; zbMATH DE number 3677808