@techreport{weko_30795_1,
   author	 = "田中,義憲 and 直井,徹 and 稲垣,康善",
   title	 = "近似正規形に基づく項書換え系のunfold/fold変換　（関数型プログラミング）",
   year 	 = "1991",
   institution	 = "名古屋大学工学部, 名古屋大学工学部, 名古屋大学工学部",
   number	 = "19(1990-PRO-028)",
   month	 = "mar"
}