4 citations to https://www.mathnet.ru/rus/lncs49

1. Tobias Kappé, Lecture Notes in Computer Science, 15942, Logic, Language, Information, and Computation, 2026, 3  
2. Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus, “CF-GKAT: Efficient Validation of Control-Flow Transformations”, Proc. ACM Program. Lang., 9:POPL (2025), 600  
3. Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39    
4. С. Л. Кузнецов, “Алгоритмическая сложность теорий коммутативных алгебр Клини”, Изв. РАН. Сер. матем., 88:2 (2024), 44–79    ; S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269