@article{weko_60663_1, author = "Yoshiharu,Kojima and Masahiko,Sakai and Naoki,Nishida and Keiichirou,Kusakari and Toshiki,Sakabe", title = "Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2009", volume = "2", number = "3", pages = "20--32", month = "jul" }