Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"Kimura, Daisuke and Nakazawa, Koji and Saotome, Kenji",Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions (Theory and Applications of Proof and Computation),RIMS Kokyuroku,1880-2818,京都大学数理解析研究所,2022-08,2228,,59-72,https://cir.nii.ac.jp/crid/1050858441648061312,