Nominal Completion for Rewrite Systems with Binders | Publicación