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