@techreport{weko_31038_1,
   author	 = "村上,昌己",
   title	 = "失敗集合に基づく並列論理型プログラムの宣言的意味論",
   year 	 = "1988",
   institution	 = "（財）新世代コンピュータ技術開発機構研究所",
   number	 = "94(1988-PRO-019)",
   month	 = "dec"
}