Fujinami, T. A Decidable Linear Logic for Transforming DRSs in Context. Proceedings of the AC 1997, 127-132. https://doi.org/10.53437/dm0x9171.