Craig interpolation for networks of sentences
scientific article; zbMATH DE number 6054365
scientific article