?url_ver=Z39.88-2004&rft_id=10.1017%2FS1471068411000627&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Fioravanti%2C+Fabio&rft.aulast=Fioravanti&rft.aufirst=Fabio&rft.date=March+2013&rft.title=Theory+and+Practice+of+Logic+Programming&rft.atitle=Generalization+strategies+for+the+verification+of+infinite+state+systems&rft.issue=2&rft.pages=175-199&rft.volume=13&rft.issn=1471-0684&rft.genre=article