1 citations to https://www.mathnet.ru/eng/lncs44

1. Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462