著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Kojima Yoshiharu and Sakai Masahiko and Nishida Naoki and Kusakari Keiichirou and Sakabe Toshiki,Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems,IPSJ Online Transactions,1882-6660,一般社団法人 情報処理学会,2009,2,,162-174,https://cir.nii.ac.jp/crid/1390001205294819456,https://doi.org/10.2197/ipsjtrans.2.162