%0 Journal Article
%A L. A. Sargsyan
%T On $SLDNF$-resolution in logic programming with negation
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2011
%P 40-46
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2011_3_a5/
%G en
%F UZERU_2011_3_a5