Marco Correia Pedro Barahona On the Integration of Singleton Consistencies and Look-Ahead Heuristics. 62-75 2007 CSCLP http://dx.doi.org/10.1007/978-3-540-89812-2_5 conf/csclp/2007 db/conf/csclp/csclp2007.html#CorreiaB07