Narrowing and Rewriting Logic: from Foundations to Applications | Publicación