%0 Journal Article
%A Yu. I. Zhuravlev
%T Simplification algorithms for disjunctive normal forms
%J Doklady Akademii Nauk
%D 1960
%P 260-263
%V 132
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1960_132_2_a4/
%G ru
%F DAN_1960_132_2_a4