@techreport{weko_51050_1,
   author	 = "馬淵,浩司 and 赤間,清 and 宮本,衛市",
   title	 = "一般化論理プログラムのunfoldingによる変換ルールの合成",
   year 	 = "1992",
   institution	 = "北海道大学工学部, 北海道大学工学部, 北海道大学工学部",
   number	 = "70(1992-ICS-084)",
   month	 = "sep"
}