@techreport{weko_51068_1,
   author	 = "赤間,清",
   title	 = "一般化論理プログラムのUnfold変換",
   year 	 = "1992",
   institution	 = "北海道大学工学部情報工学科",
   number	 = "51(1992-ICS-083)",
   month	 = "jul"
}