L. Sargsyan, “ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION”, Proc. YSU A: Phys. Math. Sci., vol. 45, no. 3 (226), pp. 40–46, Oct. 2011.