Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems. - Yoshiharu Kojima; Masahiko Sakai (RTA, 2008)

Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems. - Yoshiharu Kojima; Masahiko Sakai; Naoki Nishida 001; Keiichirou Kusakari; Toshiki Sakabe (Inf. Media Technol., 2009)

Controlled Term Rewriting. - Florent Jacquemard; Yoshiharu Kojima; Masahiko Sakai (FroCoS, 2011)

Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems. - Yoshiharu Kojima; Masahiko Sakai; Naoki Nishida 001; Keiichirou Kusakari; Toshiki Sakabe (Inf. Media Technol., 2011)

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. - Florent Jacquemard; Yoshiharu Kojima; Masahiko Sakai (CADE, 2015)