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