%0 Journal Article
%A В.И. Шаронов
%T Стратегия дефакторизации в методе резолюций
%J Issledovanija po prikladnoj matematike
%D 1974
%P 91-97
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IPM_1974__2_68926/
%G ru
%F IPM_1974__2_68926