Zhe Lin 0002 Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. 161-172 2012 LACL https://doi.org/10.1007/978-3-642-31262-5_11 conf/lacl/2012 db/conf/lacl/lacl2012.html#Lin12