@misc{indiciaefb9b923ad275,
  title = {On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm},
  author = {J. Hoffmann and J. Koehler},
  year = {2011},
  doi = {10.1613/jair.715},
  url = {https://arxiv.org/abs/1106.0243},
  note = {Source identifier: 1106.0243}
}