%0 Journal Article
%A Yu. I. Zhuravlev
%A A. Yu. Kogan
%T An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1986
%P 1243-1249
%V 26
%N 8
%U http://geodesic.mathdoc.fr/item/ZVMMF_1986_26_8_a11/
%G ru
%F ZVMMF_1986_26_8_a11