@techreport{weko_51368_1,
   author	 = "結縁祥治 and 山崎,進 and 堂下修司 and 吉田,幹",
   title	 = "並行論理型言語の実行における分散型ユニフィケーション",
   year 	 = "1987",
   institution	 = "名古屋大学工学部, 京都大学工学部, 京都大学工学部, 日本IBM",
   number	 = "47(1987-ICS-053)",
   month	 = "jul"
}