@InProceedings{ bercher-mattmueller-ki2009,
  author    = "Pascal Bercher and Robert Mattm{\"u}ller",
  title     = "Solving Non-deterministic Planning Problems with Pattern Database Heuristics",
  booktitle = "Proceedings of the 32nd Annual Conference on Artificial Intelligence (KI 2009)",
  year      = "2009",
  editor    = "B{\"a}rbel Mertsching and Marcus Hund and Zaheer Aziz",
  number    = "5803",
  series    = "Lecture Notes in Artificial Intelligence (LNAI)",
  pages     = "57--64",
  publisher = "Springer-Verlag",
  address   = "Berlin / Heidelberg",
}