Analysis of Rewriting-Based Systems as First-Order Theories | Publicación