@techreport{weko_31454_1,
   author	 = "竹内彰一 and ShapiroE.Y.",
   title	 = "論理型言語によるコンカレント・プログラミングについて",
   year 	 = "1983",
   institution	 = "（財）新世代コンピュータ技術開発機構, Weizmann Institute of Science",
   number	 = "68(1982-PRO-004)",
   month	 = "mar"
}