Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio A Transformation Strategy for Verifying Logic Programs on Infinite Lists. In: Proceedings of the 25th Italian Conference on Computational Logic. CEUR Workshop Proceedings (598). CEUR Workshop Proceedings, pp. 1-17. (2010)