Sets and constraint logic programming (2000)

by Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
Venue:ACM Trans. Program. Lang. Syst