Arc-Consistency + Unit Propagation = Lookahead. - Jia-Huai You; Guiwen Hou (ICLP, 2004)