On weak and strong normalisations (1996)

by H Xi