Normalisation of infinite terms (2008)

by Hans Zantema
Venue:In RTA 2008, volume 5117 of LNCS