%0 Journal Article %A V. V. Gimon %T The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system %J Doklady Akademii Nauk %D 1973 %P 1036-1038 %V 212 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1973_212_5_a1/ %G ru %F DAN_1973_212_5_a1