- Alexander Okhotin, 11088, Developments in Language Theory, 2018, 36
- Stepan L. Kuznetsov, 1081, Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), 2023, 1
- Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities”, J of Log Lang and Inf, 30, no. 1, 2021, 31
- Alexander Okhotin, 10792, Language and Automata Theory and Applications, 2018, 36
- MAX KANOVICH, STEPAN KUZNETSOV, VIVEK NIGAM, ANDRE SCEDROV, “Subexponentials in non-commutative linear logic”, Math. Struct. Comp. Sci., 29, no. 8, 2019, 1217
- Max Kanovich, Stepan Kuznetsov, Andre Scedrov, 11541, Logic, Language, Information, and Computation, 2019, 356