Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
scientific article; zbMATH DE number 6923892
scientific article