著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"西牟田, 祐樹",ルディクスに対する構文論的考察 (証明論と証明活動),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2018-08,2083,,38-44,https://cir.nii.ac.jp/crid/1050282677573358720,