Алгебраические эквиваленты разрешимости теоретико-групповых алгоритмических проблем О.В. Белеградек — 1979 Sibirskij matematiceskij zurnal
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели О.В. Белеградек — 1980 Sibirskij matematiceskij zurnal
Финитно аппроксимируемая ассоциативная алгебра с неразрешимой проблемой равенства О.В. Белеградек — 2000 Algebra i Logika