Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. - Keita Uchiyama; Masahiko Sakai; Toshiki Sakabe (WRS@RDP, 2007)

Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs. - Keita Uchiyama; Masahiko Sakai; Toshiki Sakabe (IEICE Trans. Inf. Syst., 2010)