rifo revisited : detecting relaxed irrelevancej .
The FF Planning System: Fast Plan Generation Through Heuristic Search