TY - RPRT TI - On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm AU - J. Hoffmann AU - J. Koehler PY - 2011 DO - 10.1613/jair.715 UR - https://arxiv.org/abs/1106.0243 ID - 1106.0243 ER -