@techreport{weko_30255_1,
   author	 = "Satoshi,Matsuoka",
   title	 = "Nondeterministic Linear Logic",
   year 	 = "1997",
   institution	 = "Department of Electrical and Computer Engineering  Faculty of Engineering  Nagoya Institute of Technology",
   number	 = "32(1996-PRO-012)",
   month	 = "mar"
}