@INPROCEEDINGS{ecs12a-flops2012,
 author = {Est{\'e}vez-Mart\'{\i}n, Sonia and Correas Fern\'{a}ndez, Jes\'{u}s and S\'{a}enz-P{\'e}rez, Fernando},
 title = {Extending the TOY system with the ECLiPSe solver over sets of integers},
 booktitle = {Proceedings of the 11th international conference on Functional and Logic Programming},
 series = {FLOPS'12},
 year = {2012},
 isbn = {978-3-642-29821-9},
 location = {Kobe, Japan},
 pages = {120--135},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}