Михаил Николаевич Рыбаков, Дмитрий Петрович Шкатов, Математические основы информатики и информационно-коммуникационных систем, 2021, 246
Mikhail Rybakov, Dmitry Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation, 2024, exae077