Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). 1-12 1991 conf/rta/1991 RTA db/conf/rta/rta91.html#KennawayKSV91 http://dx.doi.org/10.1007/3-540-53904-2_81