%0 Journal Article %1 journals/corr/cs-PL-0309045 %A Dovier, Agostino %A Piazza, Carla %A Rossi, Gianfranco %D 2003 %J CoRR %K dblp %T A uniform approach to constraint-solving for lists, multisets, compact lists, and sets %U http://dblp.uni-trier.de/db/journals/corr/corr0309.html#cs-PL-0309045 %V cs.PL/0309045

@article{journals/corr/cs-PL-0309045, added-at = {2020-01-10T00:00:00.000+0100}, author = {Dovier, Agostino and Piazza, Carla and Rossi, Gianfranco}, biburl = {https://www.bibsonomy.org/bibtex/2388f5bb30639b63315371f86de78e5ce/dblp}, ee = {http://arxiv.org/abs/cs/0309045}, interhash = {430350652f72f1f886fcf5ed32803630}, intrahash = {388f5bb30639b63315371f86de78e5ce}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:42:25.000+0100}, title = {A uniform approach to constraint-solving for lists, multisets, compact lists, and sets}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0309.html#cs-PL-0309045}, volume = {cs.PL/0309045}, year = 2003 }