著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"服部, 達哉 and 酒井, 正彦 and 西田, 直樹 and 草刈, 圭一朗 and 坂部, 俊樹 and HATTORI, Tatsuya and SAKAI, Masahiko and NISHIDA, Naoki and KUSAKARI, Keiichirou and SAKABE, Toshiki",順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について,"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス",09135685,一般社団法人電子情報通信学会,2010-12,110,336,31-36,https://cir.nii.ac.jp/crid/1050001338803500416,