%0 Journal Article %A A. V. Kabulov %A G. F. Losev %T Local algorithms for the simplification of disjunctive normal forms of Boolean functions %J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki %D 1978 %P 728-734 %V 18 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZVMMF_1978_18_3_a22/ %G ru %F ZVMMF_1978_18_3_a22