@techreport{weko_30477_1,
   author	 = "辰己,丈夫",
   title	 = "Linear Logicと島内剛一のProver CLC",
   year 	 = "1994",
   institution	 = "早稲田大学理工学研究科数学",
   number	 = "49(1994-PRO-017)",
   month	 = "jun"
}