Exclusive and essential sets of implicates of Boolean functions
scientific article; zbMATH DE number 5703710