Automated Strategies for Specializing Constraint Logic Programs (0)

by Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Venue:LOPSTR 2000, LNCS 2042