Position Paper: Incremental Search Algorithms Considered Poorly Understood

Carlos Hernández, Jorge A. Baier, Tansel Uras, Sven Koenig