@misc{indiciaefcdbe5e00cbe,
  title = {A uniform approach to constraint-solving for lists, multisets, compact lists, and sets},
  author = {Agostino Dovier and Carla Piazza and Gianfranco Rossi},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0309045},
  note = {Source identifier: cs/0309045}
}