@techreport{weko_30809_1,
   author	 = "沈涵 and 田中,二郎",
   title	 = "拡張されたunificationアルゴリズムに基づくフルGHCの操作的意味論",
   year 	 = "1990",
   institution	 = "富士通（株）国際情報社会科学研究所, 富士通（株）国際情報社会科学研究所",
   number	 = "101(1990-PRO-037)",
   month	 = "dec"
}