Oostrom. Normalisation in weakly orthogonal rewriting (1999)

by V van
Venue:RTA99, LNCS 1631