@InProceedings{drgegrkakoossc08a,
  author =	 "C. Drescher and M. Gebser and T. Grote and B. Kaufmann and 
                  A. K{\"o}nig and M. Ostrowski and T. Schaub",
  title =	 "Conflict-Driven Disjunctive Answer Set Solving",
  pages =	 "422-432",
  crossref =	 "kr08"
}
@Proceedings{kr08,
  title =	 "Proceedings of the Eleventh International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR'08)",
  booktitle =	 "Proceedings of the Eleventh International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR'08)",
  editor =	 "G. Brewka and J. Lang",
  publisher =	 "AAAI Press",
  year =	 2008
}