TY  - JOUR
PB  - Association for Logic Programming
A1  - Fioravanti, Fabio
A1  - Pettorossi, Alberto
A1  - Proietti, Maurizio
A1  - Senni, Valerio
Y1  - 2011/09/30/
ID  - eprints1384
TI  - Reachability Analysis via Specialization of Constraint Logic Programs
AV  - none
JF  - APL Newsletter
UR  - http://www.cs.nmsu.edu/ALP/2011/09/reachability-analysis-via-specialization-of-constraint-logic-programs/
ER  -