Вложимость рекурсивно определенных инверсных полугрупп в конечно определенные. В.Я. Беляев — 1984 Sibirskij matematiceskij zurnal
Несчетные расширения счетных алгебраически замкнутых полугрупп. В.Я. Беляев — 1984 Sibirskij matematiceskij zurnal
Подходы к теории обобщенной вычислимости И.В. Ашаев; В.Я. Беляев; А.Г. Мясников — 1993 Algebra i Logika
О категоричности конечно-порожденных алгебраических систем и HF-логике В.Я. Беляев; Е.Е. Лютикова; В.Н. Ремесленников; I. Ja. Beljaev — 1995 Algebra i Logika