%0 Journal Article
%A Fioravanti, Fabio
%A Pettorossi, Alberto
%A Proietti, Maurizio
%A Senni, Valerio
%D 2011
%F eprints:1384
%I Association for Logic Programming
%J APL Newsletter
%T Reachability Analysis via Specialization of Constraint Logic Programs
%U http://eprints.imtlucca.it/1384/