Computing implications with negation from a formal context
scientific article; zbMATH DE number 6048182