TY  - JOUR
AU  - M. I. Kanovitch
TI  - Efficient logical algorithms for analysis and synthesis of
JO  - Doklady Akademii Nauk
PY  - 1985
SP  - 1301
EP  - 1305
VL  - 285
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1985_285_6_a3/
LA  - ru
ID  - DAN_1985_285_6_a3
ER  -