Agostino Dovier Carla Piazza Alberto Policriti Comparing expressiveness of set constructor symbols. 151-166 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#DovierPP99