%0 Journal Article
%A В.И. Шаронов
%T О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
%J Issledovanija po prikladnoj matematike
%D 1988
%P 121-124
%V 3
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IPM_1988__3_6_68942/
%G ru
%F IPM_1988__3_6_68942