<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Reachability Analysis via Specialization of Constraint Logic Programs"^^ . "2011-09-30" . . "Association for Logic Programming"^^ . . . "APL Newsletter"^^ . . . . . . . . . . . . . . . . . "Fabio"^^ . "Fioravanti"^^ . "Fabio Fioravanti"^^ . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . . . . "HTML Summary of #1384 \n\nReachability Analysis via Specialization of Constraint Logic Programs\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .