Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Reachability Analysis via Specialization of Constraint Logic Programs.  APL Newsletter.        (2011)