Sargsyan Lusine A.

Publications in Math-Net.Ru

1. On $SLDNF$-resolution in logic programming with negation
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2011, no. 3,  40–46