Поиск периодичностей и идентификация подслов в реальное время А.О. Слисенко — 1981 Zapiski naucnych seminarov Leningradskogo
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга А.О. Слисенко — 1977 Zapiski naucnych seminarov Leningradskogo
Одно свойство перечислимых множеств, содержащих "сложно выводимые" формулы А.О. Слисенко — 1971 Zapiski naucnych seminarov Leningradskogo
Финитный подход к задаче оптимизации алгоритмов установления выводимости А.О. Слисенко — 1975 Zapiski naucnych seminarov Leningradskogo
О максимальных регуляторах непрерывности конструктивных функций А.О. Слисенко — 1967 Zapiski naucnych seminarov Leningradskogo
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969) Ю.В. Матиясевич; А.О. Слисенко — 1971 Zapiski naucnych seminarov Leningradskogo