Fujinami, T. 1997. A decidable linear logic for transforming DRSs in context. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 127–132.