On the Normalization and Unique Normalization Properties of Term Rewrite Systems.

Guillem Godoy, Sophie Tison

Browse the full CADE paper archive.