@techreport{weko_31107_1,
   author	 = "吉田,幹",
   title	 = "UPモデルに基づく論理プログラムの部分計算法",
   year 	 = "1988",
   institution	 = "日本アイ・ビー・エム株式会社東京基礎研究所",
   number	 = "12(1987-PRO-015)",
   month	 = "feb"
}