%0 Journal Article
%A N. K. Zamov
%T The resolution method without Skolemization
%J Doklady Akademii Nauk
%D 1987
%P 1046-1049
%V 293
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1987_293_5_a4/
%G ru
%F DAN_1987_293_5_a4