@techreport{weko_51359_1,
   author	 = "櫻井,彰人 and 元田,浩",
   title	 = "Prologにおける再帰式の正当性に関するある十分条件",
   year 	 = "1987",
   institution	 = "（株）日立製作所基礎研究所, （株）日立製作所基礎研究所",
   number	 = "63(1987-ICS-054)",
   month	 = "sep"
}