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