The conjoinability relation in Lambek calculus and linear logic
scientific article; zbMATH DE number 644784