arXiv 2003-09-24 EN A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Dovier, Agostino · Piazza, Carla · Rossi, Gianfranco
