Zhe Lin: Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. LACL 2012: 161-172