Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes Olivier Coudert; Jean-Christophe Madre — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications