@InProceedings{smaus-etal-mochart2008,
  author = 	 {Jan-Georg Smaus and Jörg Hoffmann},
  editor =	 {Doron Peled and Michael Wooldridge},
  title = 	 {Relaxation Refinement: A New Method to Generate
                  Heuristic Functions},
  booktitle = 	 {Post-Proceedings of the 5th (2008) Workshop on Model Checking
                  and Artificial Intelligence},
  year =	 2009,
  series =	 {LNCS},
  pages     =    {To appear},
  volume    =    {??},
  publisher =	 {Springer-Verlag}
}