@inproceedings{DBLP:conf/lpnmr/EllguthGGKKLSSS09, title = {A Simple Distributed Conflict-Driven Answer Set Solver}, author = {Ellguth, Enrico and Gebser, Martin and Gusowski, Markus and Kaufmann, Benjamin and Kaminski, Roland and Liske, Stefan and Schaub, Torsten and Schneidenbach, Lars and Schnor, Bettina}, booktitle = {{LPNMR}}, pages = {490--495}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5753}, year = {2009} }