Automated strategies for specializing constraint logic programs (2000)

by F Fioravanti, A Pettorossi, M Proietti
Venue:in Proceedings of LOPSTR'2000, Tenth International Workshop on Logic-based Program Synthesis and Transformation