著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
山本 章博 and Bertram Fronfofer,証明補完と適切さの論理に基づく仮説選択,人工知能基礎論研究会,,東京 : 人工知能学会,2002-12,50,,27-32,https://cir.nii.ac.jp/crid/1520572359251989248,