Infinite Normal Forms for Non-Linear Term Rewriting Systems.

Paola Inverardi, Monica Nesi

Browse the full MFCS paper archive.