%0 Journal Article
%A O. M. Anshakov
%A D. P. Skvortsov
%A V. K. Finn
%T On a logical construction of the JSM-method of automated
%J Doklady Akademii Nauk
%D 1991
%P 1331-1336
%V 320
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1991_320_6_a8/
%G ru
%F DAN_1991_320_6_a8