@InProceedings{ismabogesc09b,
  author =	 "H. Ishebabi and P. Mahr and C. Bobda and M. Gebser and
                  T. Schaub",
  title =	 "Application of {ASP} for Automatic Synthesis of Flexible
                  Multiprocessor Systems from Parallel Programs",
  crossref =	 "lpnmr09",
  pages =	 "598-603"
}
@Proceedings{lpnmr09,
  title =	 "Proceedings of the Tenth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'09)",
  booktitle =	 "Proceedings of the Tenth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'09)",
  year =	 2009,
  editor =	 "E. Erdem and F. Lin and T. Schaub",
  volume =	 5753,
  series =	 "Lecture Notes in Artificial Intelligence",
  publisher =	 "Springer-Verlag"
}