Sébastien Bornot Rémi Morin Peter Niebert Sarah Zennou Black Box Unfolding with Local First Search. 386-400 2002 conf/tacas/2002 TACAS http://link.springer.de/link/service/series/0558/bibs/2280/22800386.htm db/conf/tacas/tacas2002.html#BornotMNZ02