rifo revisited : detecting relaxed irrelevancej .
Ignoring Irrelevant Facts and Operators in Plan Generation