Летичевский, А. А.     Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 169-180.