%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
%V 4
%N 4
%U http://geodesic.mathdoc.fr/item/KUIPM_1977_4_4_a4/
%G ru
%F KUIPM_1977_4_4_a4