著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"水谷, 知博 and 西田, 直樹 and 酒井, 正彦 and 坂部, 俊樹 and 草刈, 圭一朗 and MIZUTANI, Tomohiro and NISHIDA, Naoki and SAKAI, Masahiko and SAKABE, Toshiki and KUSAKARI, Keiichirou",導出木からのループ検出による論理プログラムの非停止性証明法,"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス",09135685,一般社団法人電子情報通信学会,2007-10,107,275,1-6,https://cir.nii.ac.jp/crid/1050001338803490688,