Implementing Natural Rewriting and Narrowing Efficiently | Publicación