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