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