SARGSYAN, L. ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 45, n. 3 (226), p. 40–46, 17 Oct.2011.