S. L. Kuznetsov. Decidable fragments of the Lambek calculus with subexponentials