On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm