Sargsyan, L. ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION. Proc. YSU A: Phys. Math. Sci. 2011, 45 (3 (226), 40-46. https://doi.org/10.46991/PYSUA.2011.45.3.040.