A Simple Distributed Conflict-Driven Answer Set Solver. - Enrico Ellguth; Martin Gebser; Markus Gusowski; Benjamin Kaufmann; Roland Kaminski; Stefan Liske; Torsten Schaub; Lars Schneidenbach; Bettina Schnor (LPNMR, 2009)