Compiling Intensional Sets in CLP

P. Bruscoli

E. Pontelli

G. Rossi

DOVIER, Agostino