4 citations to 10.1145/3351108.3351128 (Crossref Cited-By Service)

1. Mikhail Rybakov, Dmitry Shkatov, Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020, 58  
2. 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  
3. Михаил Николаевич Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, LI, 29, no. 1, 2023, 114  
4. Mikhail Rybakov, Dmitry Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, LI, 27, no. 2, 2021, 93