1.
Fujinami T. A decidable linear logic for transforming DRSs in context. Proceedings of the AC. Published online December 1, 1997:127-132. doi:10.53437/dm0x9171