A heuristic approach to the discovery of macro-operators
Macro-operators: a weak method for learning