@InProceedings{bauer:haslum:ecai10,
  author =	 {Andreas Bauer and Patrik Haslum},
  title =	 {{LTL} Goal Specifications Revisited},
  booktitle =	 {Proceedings of the 19th European Conference on
                  Artificial Intelligence (ECAI)},
  year =	 2010,
  pages =        {881--886},
  month =	 Aug,
  publisher =	 {IOS Press},
  address =      {Amsterdam},
  isbn =         {978-1-60750-605-8}
}