Marcos E. Kurbán Peter Niebert Hongyang Qu Walter Vogler Stronger Reduction Criteria for Local First Search. 108-122 2006 conf/ictac/2006 ICTAC http://dx.doi.org/10.1007/11921240_8 db/conf/ictac/ictac2006.html#KurbanNQV06