Неразрешимость позитивной ∀ ∃ -теории свободной полугруппы С.С. Марченков — 1982 Sibirskij matematiceskij zurnal
О существовании рекурсивно-перечислимых минимальных табличных степеней. С.С. Марченков — 1975 Algebra i Logika
К существованию конечных базисов в замкнутых классах булевых функций. С.С. Марченков — 1984 Algebra i Logika
Об одном методе построения максимальных подалгебр в алгебрах общерекурсивных функций. С.С. Марченков — 1978 Algebra i Logika