Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form | Publicación