Jia-Huai You Guohua Liu Li-Yan Yuan Curtis Onuczko Lookahead in Smodels Compared to Local Consistencies in CSP. 266-278 2005 conf/lpnmr/2005 LPNMR http://dx.doi.org/10.1007/11546207_21 db/conf/lpnmr/lpnmr2005.html#YouLYO05