@InProceedings{ mattmueller-rintanen-ijcai2007,
  author    = "Robert Mattm{\"u}ller and Jussi Rintanen",
  title     = "Planning for Temporally Extended Goals as Propositional Satisfiability",
  booktitle = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
  pages     = "1966--1971",
  year      = "2007"
}