Поиск кратчайшего пути вокруг полуалгебраических препятствий на плоскости T. Крик; A.O. Слисенко; П. Солерно; Й. Хайнц — 1991 Zapiski naucnych seminarov Leningradskogo
Машинный алгорифм установления выводимости на основе обратного метода Г.В. Давыдов; С.Ю. Маслов; Г.Е. Минц; В.П. Оревков; A.O. Слисенко — 1969 Zapiski naucnych seminarov Leningradskogo