An institution-independent proof of Craig interpolation theorem
scientific article; zbMATH DE number 2091570