@inproceedings{DBLP:conf/birthday/GebserKKS11, title = {Challenges in Answer Set Solving}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten}, booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning}, pages = {74--90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6565}, year = {2011} }