A Terminating and Confluent Linear Lambda Calculus. - Yo Ohta; Masahito Hasegawa (RTA, 2006)