safe , strong , and tractable relevance analysis for planning .
Ignoring Irrelevant Facts and Operators in Plan Generation