%0 Journal Article %1 journals/corr/cs-PL-0105024 %A Brand, Sebastian %D 2001 %J CoRR %K dblp %T Constraint Propagation in Presence of Arrays %U http://dblp.uni-trier.de/db/journals/corr/corr0105.html#cs-PL-0105024 %V cs.PL/0105024

@article{journals/corr/cs-PL-0105024, added-at = {2020-01-10T00:00:00.000+0100}, author = {Brand, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/28ff82060b7d6d06fb7c4f6d2dc5e6a19/dblp}, ee = {https://arxiv.org/abs/cs/0105024}, interhash = {08236df7a0f7e0e8b275f812e98af556}, intrahash = {8ff82060b7d6d06fb7c4f6d2dc5e6a19}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:42:25.000+0100}, title = {Constraint Propagation in Presence of Arrays}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0105.html#cs-PL-0105024}, volume = {cs.PL/0105024}, year = 2001 }