TY  - RPRT
TI  - A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
AU  - Agostino Dovier
AU  - Carla Piazza
AU  - Gianfranco Rossi
PY  - 2003
UR  - https://arxiv.org/abs/cs/0309045
ID  - cs/0309045
ER  -