@techreport{weko_30282_1,
   author	 = "田中あずさ and 中西正和",
   title	 = "関数論理型言語の停止性検証　（コンパイル技術および一般）",
   year 	 = "1996",
   institution	 = "慶應義塾大学理工学研究科計算機科学, 慶應義塾大学理工学研究科計算機科学",
   number	 = "107(1996-PRO-010)",
   month	 = "oct"
}