@techreport{weko_30679_1,
   author	 = "赤間,清",
   title	 = "縮小系上の一般化論理プログラム",
   year 	 = "1992",
   institution	 = "北海道大学 工学部 情報工学科",
   number	 = "20(1991-PRO-006)",
   month	 = "mar"
}