3 citations to https://www.mathnet.ru/eng/lncs18

1. Jan Rooduijn, Dexter Kozen, Alexandra Silva, Lecture Notes in Computer Science, 14740, Automated Reasoning, 2024, 257  
2. Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Rev. Symb. Log., 14:1 (2021), 22–50        
3. Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, Lecture Notes in Comput. Sci., 11541 (2019), 569–583