Polynomial-time algorithms for generation of prime implicants
scientific article; zbMATH DE number 55604
scientific article