Igor Sedlár, “Implicational Kleene algebra with domain and the substructural logic of partial correctness”, Math. Struct. Comp. Sci., 2024, 1
Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Stepan L. Kuznetsov, “On the complexity of reasoning in Kleene algebra with commutativity conditions”, Lecture Notes in Comput. Sci., 14446 (2023), 83–99
Igor Sedlár, Johann J. Wannenburg, Lecture Notes in Computer Science, 13468, Logic, Language, Information, and Computation, 2022, 221
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
Степан Львович Кузнецов, Математические основы информатики и информационно-коммуникационных систем, 2021, 176