Zielonka, W. “Two Weak Lambek Style Calculi: DNL and DNL−∗”. Logic and Logical Philosophy, vol. 21, no. 1, Mar. 2012, pp. 53-64, doi:10.12775/LLP.2012.004.