Sven Koenig Maxim Likhachev Yaxin Liu David Furcy Incremental Heuristic Search in AI. 99-112 2004 25 AI Magazine 2 db/journals/aim/aim25.html#KoenigLLF04