%0 Journal Article
%A S. N. Razumovskii
%T On the transformation of programs for the solution of complicated logical problems to optimal form
%J Doklady Akademii Nauk
%D 1961
%P 562-565
%V 139
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1961_139_3_a12/
%G ru
%F DAN_1961_139_3_a12