%0 Journal Article
%A Coudert, Olivier
%A Madre, Jean-Christophe
%T Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1994
%P 125-149
%V 28
%N 2
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1994__28_2_125_0/
%G fr
%F ITA_1994__28_2_125_0