Bonet, B.; Geffner, H. Heuristic Search Planner 2.0. AIMag 2001, 22, 77.