- Mikhail Rybakov, Dmitry Shkatov, Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2018, 313
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of propositional modal logics of symmetric frames”, Logic Journal of the IGPL, 2018
- M. Rybakov, “Computational Complexity of the Word Problem in Modal and Heyting Algebras with a Small Number of Generators”, Russ Math., 66, no. 5, 2022, 33
- Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages”, Journal of Logic and Computation, 30, no. 7, 2020, 1305
- Mikhail Rybakov, Dmitry Shkatov, “Undecidability of the Logic of Partial Quasiary Predicates”, Logic Journal of the IGPL, 30, no. 3, 2022, 519
- Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames”, Journal of Logic and Computation, 2024, exad078
- Mikhail Rybakov, Dmitry Shkatov, 11187, Theoretical Aspects of Computing – ICTAC 2018, 2018, 396
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with non-transitive modal logics”, Journal of Logic and Computation, 32, no. 5, 2022, 853
- Mikhail Rybakov, Dmitry Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation, 2024, exae077