Interpolation in linear logic and related systems
scientific article; zbMATH DE number 7942535
scientific article