著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"藤田, 憲悦","On formalization of logic puzzles textit{`{a}} ${la}$ Smullyan (Logic, Language, Algebraic system and Related Areas in Computer Science)",数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2021-07,2193,,18-24,https://cir.nii.ac.jp/crid/1050852870531500416,