Expansions of categorical antiadditive Horn theories till additive ones
scientific article; zbMATH DE number 6855706