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