Nicolas Prcovic Bertrand Neveu Progressive Focusing Search. 126-130 2002 conf/ecai/2002 ECAI db/conf/ecai/ecai2002.html#PrcovicN02