%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T Decision tactics for derivation search in the resolution method
%J Issledovaniya po Prikladnoi Matematike i Informatike
%D 1977
%P 31-34
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KUIPM_1977_a4/
%G ru
%F KUIPM_1977_a4