Ruben Duarte Viegas Marco Correia Pedro Barahona Francisco Azevedo Using Indexed Finite Set Variables for Set Bounds Propagation. 73-82 2008 IBERAMIA http://dx.doi.org/10.1007/978-3-540-88309-8_8 conf/iberamia/2008 db/conf/iberamia/iberamia2008.html#ViegasCBA08