@techreport{weko_30808_1,
   author	 = "申東旭",
   title	 = "多相型を持つPrologにおける型検査法の最適化",
   year 	 = "1990",
   institution	 = "富士通（株）国際情報社会科学研究所",
   number	 = "101(1990-PRO-037)",
   month	 = "dec"
}