Normalization of Infinite Terms (2008)

by H Zantema
Venue:RTA 2008, volume 5117 of LNCS