Fujinami, T. (1997). A decidable linear logic for transforming DRSs in context. Proceedings of the Amsterdam Colloquium, 127-132. https://platform.openjournals.nl/PAC/article/view/24583