@techreport{weko_31076_1,
   author	 = "村上,昌己",
   title	 = "無限プロセスを含む並列論理型プログラムの宣言的意味論",
   year 	 = "1988",
   institution	 = "（財）新世代コンピュータ技術開発機構研究所",
   number	 = "37(1988-PRO-025)",
   month	 = "may"
}