В. Н. Захаров ,   Е. К. Гордиенко ,   В. Ю. Кириллов ,   А. Ю. Миронов Полнота и эффективность навигационных операций в децентрализованных интеллектуальных систем. Известия АН СССР. Техническая кибернетика , 5 , 01.1990 В. Н. Захаров ,   Е. К. Гордиенко ,   А. Ю. Миронов Реализация параллельных алгоритмов логического вывода в матричной однородной среде. Известия АН СССР. Техническая кибернетика , 5 , с. 153-197 , 01.1985 V. N. Zakharov ,   E. K. Gordienko ,   A. Yu. Mironov Parallel Logic Inference System based on Actors. In book: "Knowledge and Image Proccesing Systems". Institute of Tekhnical Cybernetic of Slovak Academy of Sciences, Bratislava , v. 1 , p. 83-87 , 01.1986