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