Фридман, А. Я.; Кулик, Б. А.; Курбанов, В. Г. Метод управления прямым логическим выводом в интеллектуальных системах с дискретными доменами переменных. ИУС 2015, 29-34.