Some decision and counting problems of the Duquenne-Guigues basis of implications
scientific article; zbMATH DE number 5324119
scientific article