@article{eprints1384,
            year = {2011},
          author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni},
         journal = {APL Newsletter},
           title = {Reachability Analysis via Specialization of Constraint Logic Programs},
           month = {September},
       publisher = {Association for Logic Programming},
             url = {http://eprints.imtlucca.it/1384/}
}