Static Slicing of Rewrite Systems | Publicación