@techreport{weko_30213_1,
   author	 = "近藤久 and 栗原,正仁",
   title	 = "二分決定グラフを用いた書換え型プログラムの停止性検証器",
   year 	 = "1997",
   institution	 = "茨城大学工学部システム工学科, 北海道工業大学電気工学科",
   number	 = "112(1997-PRO-016)",
   month	 = "nov"
}