Heuristic search theory and applications - Edelkamp, Stefan (Morgan Kaufmann, 2012)