?url_ver=Z39.88-2004&rft_id=10.1017%2FS1471068410000177&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Alberto&rft.aulast=Pettorossi&rft.au=Pettorossi%2C+Alberto&rft.issn=1471-0684&rft.volume=10&rft.issue=4-6&rft.pages=383-399&rft.atitle=Transformations+of+logic+programs+on+infinite+lists&rft.title=Theory+and+Practice+of+Logic+Programming&rft.date=2010&rft.genre=article