Фридман, А. Я., Б. А. Кулик, и В. Г. Курбанов. Метод управления прямым логическим выводом в интеллектуальных системах с дискретными доменами переменных. Информационно-управляющие системы, вып. 1, Feb. 2015, сс. 29-34, DOI:10.15217/issn1684-8853.2015.1.29.