@InProceedings{gekakascsczi11a,
  author =	 "M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub and
                  M. Schneider and S. Ziller",
  title =	 "A Portfolio Solver for Answer Set Programming: Preliminary
                  Report",
  crossref =	 "lpnmr11",
  pages =	 "352-357"
}
@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"
}