TY  - JOUR
AU  - Yu. I. Zhuravlev
AU  - A. Yu. Kogan
TI  - An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1986
SP  - 1243
EP  - 1249
VL  - 26
IS  - 8
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1986_26_8_a11/
LA  - ru
ID  - ZVMMF_1986_26_8_a11
ER  -