Cyber & formal methods publications October 1, 2013 ArticleNon-Linear Rewrite Closure and Weak Normalization SRI International October 1, 2013 Citation Copy to clipboard Creus, C., Godoy, G., Massanes, F., & Tiwari, A. (2013). Non-linear rewrite closure and weak normalization. Journal of Automated Reasoning, 51(3), 281-324. Share this