A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

Agostino Dovier Carla Piazza Gianfranco Rossi A uniform approach to constraint-solving for lists, multisets, compact lists, and sets http://arxiv.org/abs/cs.PL/0309045 2003 CoRR cs.PL/0309045 db/journals/corr/corr0309.html#cs-PL-0309045 informal publication