TY  - JOUR
AU  - A. D. Okhotsimskii
AU  - L. P. Filippov
TI  - The methods of computer-aided search for structural formulas

JO  - Doklady Akademii Nauk
PY  - 1985
SP  - 598
EP  - 601
VL  - 280
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1985_280_3_a20/
LA  - ru
ID  - DAN_1985_280_3_a20
ER  -