First-order interpolation of non-classical logics derived from propositional interpolation
scientific article; zbMATH DE number 6821638