rifo revisited : detecting relaxed irrelevancej .
Planning as Heuristic Search