Sets and constraint logic programming (0)

by Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
Venue:ACM Transactions of Programming Languages and Systems