@techreport{weko_31037_1,
   author	 = "菅野,博靖",
   title	 = "リフレクティブなPrologの形式化と意味論",
   year 	 = "1988",
   institution	 = "富士通（株）国際情報社会科学研究所",
   number	 = "94(1988-PRO-019)",
   month	 = "dec"
}