Normalization properties for Shallow TRS and Innermost Rewriting | Publicación