The decidability of Craig's interpolation property in well-composed J-logics
scientific article; zbMATH DE number 6133178
scientific article