Non-linear Rewrite Closure and Weak Normalization.

Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari

Browse the full LICS paper archive.