@techreport{weko_51162_1,
   author	 = "折原,良平 and 大須賀,昭彦 and 楠井,洋一",
   title	 = "論理プログラムの類推的モデル－仮説推論としての類推の意味論",
   year 	 = "1991",
   institution	 = "株式会社東芝システム・ソフトウェア技術研究所, 株式会社東芝システム・ソフトウェア技術研究所, 株式会社東芝システム・ソフトウェア技術研究所",
   number	 = "16(1990-ICS-075)",
   month	 = "mar"
}