Termination of Narrowing: Automated Proofs and Modularity Properties | Publicación