%0 Journal Article
%A Yu. I. Zhuravlev
%T Finite index algorithms for the simplification of disjunctive normal forms
%J Doklady Akademii Nauk
%D 1961
%P 1329-1331
%V 139
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1961_139_6_a14/
%G ru
%F DAN_1961_139_6_a14