TY  - JOUR
AU  - A. V. Kabulov
AU  - G. F. Losev
TI  - Local algorithms for the simplification of disjunctive normal forms of Boolean functions
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1978
SP  - 728
EP  - 734
VL  - 18
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1978_18_3_a22/
LA  - ru
ID  - ZVMMF_1978_18_3_a22
ER  -