Fujinami, Tsutomu. “A Decidable Linear Logic for Transforming DRSs in Context”. Proceedings of the Amsterdam Colloquium, Dec. 1997, pp. 127-32, https://platform.openjournals.nl/PAC/article/view/24583.