Non-linear Rewrite Closure and Weak Normalization | IEEE Conference Publication | IEEE Xplore