著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
岸 知二 and 山崎 進 and 堂下 修司,帰納的プログラムからHorn節集合への翻訳アルゴリズム,電子通信学会論文誌. D,0374468X,東京 : 電子通信学会,1982-11,65,11,p1342-1349,https://cir.nii.ac.jp/crid/1523951029811310976,