%0 Journal Article
%A P. V. Yudaev
%T Comparison of two algorithms for simplifying disjunctive normal forms
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 2002
%P 269-272
%V 42
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_2002_42_2_a10/
%G ru
%F ZVMMF_2002_42_2_a10