@techreport{weko_30667_1,
   author	 = "赤間,清",
   title	 = "一般化論理プログラムの最小モデル意味論",
   year 	 = "1992",
   institution	 = "北海道大学 工学部 情報工学科",
   number	 = "44(1992-PRO-007)",
   month	 = "may"
}