@inproceedings{Bauer_Haslum_10,
    month            = aug,
    keywords         = {planning, ltl, finite trace semantics},
    publisher        = {IOS Press},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3923.pdf},
    booktitle        = {European Conference on Arificial Intelligence},
    author           = {Bauer, Andreas and Haslum, Patrik},
    year             = {2010},
    title            = {{LTL} Goal Specifications Revisited},
    address          = {Lisbon, Portugal}
  }