1 citations to https://www.mathnet.ru/rus/al2680
  1. Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29  mathnet  crossref  scopus