Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe. Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. Electronic Notes in Theoretical Computer Science, 204:21-34, 2008. [doi]
Abstract is missing.