Disjoint essential sets of implicates of a CQ Horn function
scientific article; zbMATH DE number 6018326
scientific article