@inproceedings{smaus-hoffmann:mochart2008,
  author =	 {Jan-Georg Smaus and J{\"o}rg Hoffmann},
  title =	 {Relaxation Refinement: A New Method to Generate
                  Heuristic Functions},
  crossref =	 {mochart2008},
  pages =	 {147--165}
}

@proceedings{mochart2008,
  title =	 {Proceedings of the 5th International Workshop on
                  Model Checking and Artificial Intelligence (MOCHART
                  2008)},
  year =	 2009,
  booktitle =	 {Proceedings of the 5th International Workshop on
                  Model Checking and Artificial Intelligence (MOCHART
                  2008)},
  editor =	 {Doron Peled and Michael Wooldridge},
  volume =	 5348,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer-Verlag}
}