Normalization of typable terms by superdevelopments (2000)

by Z Khasidashvili, A Piperno
Venue:Computer Science Logic'98, Springer LNCS 1584