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