Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting | Publicación