Tsutomu Fujinami: A Decidable Linear Logic for Speech Translation. PACLIC 2001: 175-186