relation: http://eprints.imtlucca.it/1384/
title: Reachability Analysis via Specialization of Constraint Logic Programs
creator: Fioravanti, Fabio
creator: Pettorossi, Alberto
creator: Proietti, Maurizio
creator: Senni, Valerio
subject: QA75 Electronic computers. Computer science
publisher: Association for Logic Programming
date: 2011-09-30
type: Article
type: PeerReviewed
identifier:   Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Reachability Analysis via Specialization of Constraint Logic Programs.  APL Newsletter.        (2011)  
relation: http://www.cs.nmsu.edu/ALP/2011/09/reachability-analysis-via-specialization-of-constraint-logic-programs/