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