Sargsyan, L.A. “ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 45, no. 3 (226), Oct. 2011, pp. 40-46, doi:10.46991/PYSU:A/2011.45.3.040.