Agostino Dovier Enrico Pontelli Gianfranco Rossi Intensional Sets in CLP. 36-49 2003 conf/agp/2003 APPIA-GULP-PRODE db/conf/agp/agp2003.html#DovierPR03