- Михаил Николаевич Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, LI, 29, no. 1, 2023, 114
- M. Rybakov, “Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables”, Dokl. Math., 106, no. 3, 2022, 458
- Mikhail Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 2023, jzad002