TY  - RPRT
TI  - Transformations of Logic Programs on Infinite Lists
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
AU  - Valerio Senni
PY  - 2010
DO  - 10.1017/s1471068410000177
UR  - https://arxiv.org/abs/1007.4157
ID  - 1007.4157
ER  -