Sets and constraint logic programming (0)

by A Dovier, C Piazza, E Pontelli, G Rossi
Venue:ACM Trans. Program. Lang. Syst