Combination of uniform interpolants via Beth definability
scientific article; zbMATH DE number 7606344
scientific article