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