On the complexity of nonassociative Lambek calculus with unit
scientific article; zbMATH DE number 5625031
scientific article