著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"佐藤, 泰介 and 玉木, 久夫",創立25周年記念特集：論文：論理プログラムの等価変換とプログラム合成問題への応用,情報処理,04478053,東京 : 情報処理学会 ; 1960-,1985-11-15,26,11,p1423-1431,https://cir.nii.ac.jp/crid/1050001337877552512,