On normalisation. Computer Science Report CS-R9545 (1995)

by F van Raamsdonk, P Severi