著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
小田 幸弘 and 村上 昌己,並行論理型プログラミング言語における段階的プログラム記述の検証,情報処理学会研究報告. [プログラミング-言語基礎実践-],,一般社団法人情報処理学会,1994-03-09,94,21,33-40,https://cir.nii.ac.jp/crid/1571698602147506688,