Cyber & formal methods publications August 1, 2009 Conference PaperNon-Linear Rewrite Closure and Weak Normalization SRI International August 1, 2009 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. ↓ View online Share this