Blai Bonet Hector Geffner Heuristic Search Planner 2.0. 77-80 2001 22 AI Magazine 3 db/journals/aim/aim22.html#BonetG01 http://www.aaai.org/ojs/index.php/aimagazine/article/view/1576