7 citations to https://www.mathnet.ru/eng/atcl1

1. Igor Sedlár, “Implicational Kleene algebra with domain and the substructural logic of partial correctness”, Math. Struct. Comp. Sci., 2024, 1  
2. Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462    
3. Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29      
4. Stepan L. Kuznetsov, “On the complexity of reasoning in Kleene algebra with commutativity conditions”, Lecture Notes in Comput. Sci., 14446 (2023), 83–99      
5. Igor Sedlár, Johann J. Wannenburg, Lecture Notes in Computer Science, 13468, Logic, Language, Information, and Computation, 2022, 221  
6. Stepan L. Kuznetsov, “Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs”, Lecture Notes in Comput. Sci., 12842 (2021), 317–334        
7. Stepan Lvovich Kuznetsov, Matematicheskie osnovy informatiki i informatsionno-kommunikatsionnykh sistem, 2021, 176