Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Transformations of logic programs on infinite lists.  Theory and Practice of Logic Programming, 10 (4-6).  pp. 383-399.  ISSN 1471-0684      (2010)