@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/}
}