@inproceedings{DBLP:conf/lpnmr/GebserKS09, title = {The Conflict-Driven Answer Set Solver clasp: Progress Report}, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, booktitle = {{LPNMR}}, pages = {509--514}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5753}, year = {2009} }