Proof nets for the multimodal Lambek calculus
scientific article; zbMATH DE number 1845370