Fujinami, T. A Decidable Linear Logic for Transforming DRSs in Context. Proceedings of the AC 1997, 127-132.