A Semantic Approach to the Analysis of Rewriting-Based Systems | Publicación