@techreport{weko_51526_1,
   author	 = "中島秀之 and 戸村哲 and 諏訪基",
   title	 = "Prolog/KRからUranusへ－多重世界機構の拡張－",
   year 	 = "1984",
   institution	 = "電子技術総合研究所, 電子技術総合研究所, 電子技術総合研究所",
   number	 = "33(1984-ICS-036)",
   month	 = "sep"
}