1 citations to https://www.mathnet.ru/rus/lncs44
  1. Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462  mathnet  crossref