A new principle for incremental heuristic search: Theoretical results
Problem-Solving Methods in Artificial Intelligence