Enrico Ellguth Martin Gebser Markus Gusowski Benjamin Kaufmann Roland Kaminski Stefan Liske Torsten Schaub Lars Schneidenbach Bettina Schnor A Simple Distributed Conflict-Driven Answer Set Solver. 490-495 2009 LPNMR http://dx.doi.org/10.1007/978-3-642-04238-6_47 conf/lpnmr/2009 db/conf/lpnmr/lpnmr2009.html#EllguthGGKKLSSS09