Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennesOlivier Coudert and Jean-Christophe MadreRAIRO-Theor. Inf. Appl., 28 2 (1994) 125-149DOI: https://doi.org/10.1051/ita/1994280201251
