TY  - JOUR
AU  - Yu. I. Zhuravlev
TI  - Finite index algorithms for the simplification of disjunctive normal forms
JO  - Doklady Akademii Nauk
PY  - 1961
SP  - 1329
EP  - 1331
VL  - 139
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1961_139_6_a14/
LA  - ru
ID  - DAN_1961_139_6_a14
ER  -