A logical framework with commutative and non-commutative subexponentials
scientific article; zbMATH DE number 6958102