%J APL Newsletter
%T Reachability Analysis via Specialization of Constraint Logic Programs
%D 2011
%A Fabio Fioravanti
%A Alberto Pettorossi
%A Maurizio Proietti
%A Valerio Senni
%L eprints1384
%I Association for Logic Programming