Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems | Publicación