Саркисян Лусине Арамаисовна. Об SLDNF-резолюции в логическом программировании с отрицанием.- Дисертація канд. физ.-мат. наук: 01.01.09, Ереван. гос. ун-т. - Ереван, 2012.- 190 с.