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/PYSUA.2011.45.3.040