Universal proof theory: semi-analytic rules and Craig interpolation
scientific article; zbMATH DE number 7921876