Non-linear Rewrite Closure and Weak Normalization | Publicación