著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
加藤 あや美 and 佐々木 克巳 and KATO Ayami and SASAKI Katsumi,形式体系に基づく実証明の分析,アカデミア. 情報理工学編 : 南山大学紀要,21853266,南山大学,2012-03-30,12,,1-26,https://cir.nii.ac.jp/crid/1390853649837308160,https://doi.org/10.15119/00000096