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, doi: 10.46991/PYSUA.2011.45.3.040.