?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Fioravanti%2C+Fabio&rft.aulast=Fioravanti&rft.aufirst=Fabio&rft.atitle=Reachability+Analysis+via+Specialization+of+Constraint+Logic+Programs&rft.date=30+September+2011&rft.title=APL+Newsletter&rft.genre=article