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