Geodesic
An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 26 (1986) no. 8, pp. 1243-1249 
Yu. I. Zhuravlev; A. Yu. Kogan. An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 26 (1986) no. 8, pp. 1243-1249. http://geodesic.mathdoc.fr/item/ZVMMF_1986_26_8_a11/
@article{ZVMMF_1986_26_8_a11,
     author = {Yu. I. Zhuravlev and A. Yu. Kogan},
     title = {An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of {Nelson} {Boolean} equations},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {1243--1249},
     year = {1986},
     volume = {26},
     number = {8},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_1986_26_8_a11/}
}
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  - 
%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

Voir la notice de l'article provenant de la source Math-Net.Ru