“…LFrom a computational viewpoint, rational terms are clearly a very interesting subclass of infnite terms, because they have a finitary representation; usually, however, this is not unique. Infinitary extensions of Term Rewriting have been considered by various authors during the last decade [12,11,15,16,7,20,21,22,9,8]. Most of those contributions are concerned with the study of the rewriting relation induced by a set of finite term rules on infinite terms, presenting results about the existence of normal forms (possibly reachable after w steps), confluence and so on.…”