Agostino Dovier;Enrico Pontelli;Gianfranco Rossi
-;-;-
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)