@InProceedings{gekakascsc11a,
  author =	 "M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub and
                  B. Schnor",
  title =	 "Cluster-based {ASP} Solving with \textit{claspar}",
  crossref =	 "lpnmr11",
  pages =	 "364-369"
}
@Proceedings{lpnmr11,
  title =	 "Proceedings of the Eleventh International Conference on
                  Logic Programming and Nonmonotonic Reasoning (LPNMR'11)",
  booktitle =	 "Proceedings of the Eleventh International Conference on
                  Logic Programming and Nonmonotonic Reasoning (LPNMR'11)",
  year =	 2011,
  editor =	 "J. Delgrande and W. Faber",
  volume =	 6645,
  series =	 "Lecture Notes in Artificial Intelligence",
  publisher =	 "Springer-Verlag"
}