@inproceedings{DBLP:conf/kr/DrescherGGKKOS08,
  author = {Drescher, Christian and Gebser, Martin and Grote, Torsten and Kaufmann, Benjamin and K{\"{o}}nig, Arne and Ostrowski, Max and Schaub, Torsten},
  title = {Conflict-Driven Disjunctive Answer Set Solving},
  booktitle = {{KR}},
  pages = {422--432},
  publisher = {{AAAI} Press},
  year = {2008}
}