2 citations to https://www.mathnet.ru/rus/ljour12

1. Sebastijan Horvat, Borja Sierra Miranda, Thomas Studer, Lecture Notes in Computer Science, 15980, Automated Reasoning with Analytic Tableaux and Related Methods, 2026, 201  
2. Л. Д. Беклемишев, Д. С. Шамканов, И. Н. Смирнов, “Фрагменты арифметики и циклические выводы”, Матем. сб., 216:10 (2025), 3–28     [L. D. Beklemishev, D. S. Shamkanov, I. N. Smirnov, “Fragments of arithmetic and cyclic proofs”, Mat. Sb., 216:10 (2025), 3–28  ]