著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
秋葉 澄孝 and 佐藤 泰介 and 元吉 文男,論理式の置換と選言標準形への変形による論理プログラムの計算手続き,人工知能学会論文誌,13460714,一般社団法人 人工知能学会,2003,18,,96-103,https://cir.nii.ac.jp/crid/1390282680083979008,https://doi.org/10.1527/tjsai.18.96