@inproceedings{DBLP:conf/ijcai/GebserKS13, title = {Advanced Conflict-Driven Disjunctive Answer Set Solving}, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, booktitle = {{IJCAI}}, pages = {912--918}, publisher = {{IJCAI/AAAI}}, year = {2013} }