TY  - JOUR
AU  - O. M. Anshakov
AU  - D. P. Skvortsov
AU  - V. K. Finn
TI  - On a logical construction of the JSM-method of automated
JO  - Doklady Akademii Nauk
PY  - 1991
SP  - 1331
EP  - 1336
VL  - 320
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1991_320_6_a8/
LA  - ru
ID  - DAN_1991_320_6_a8
ER  -