?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Pettorossi&rft.au=Pettorossi%2C+Alberto&rft.aufirst=Alberto&rft.title=A+Transformation+Strategy+for+Verifying+Logic+Programs+on+Infinite+Lists&rft.btitle=Proceedings+of+the+25th+Italian+Conference+on+Computational+Logic&rft.date=2010&rft.genre=bookitem