@InProceedings{EGGK+09,
  author =       "E. Ellguth and M. Gebser and M. Gusowski and R. Kaminski and
                  B. Kaufmann and S. Liske and T. Schaub and L. Schneidenbach
                  and B. Schnor",
  title =        "A Simple Distributed Conflict-Driven Answer Set Solver",
  crossref =     "lpnmr09",
  pages =        "490-495"
}
@Proceedings{LPNMR09,
  title =        "Proceedings of the Tenth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'09)",
  booktitle =    "Proceedings of the Tenth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'09)",
  year =         2009,
  editor =       "E. Erdem and F. Lin and T. Schaub",
  volume =       5753,
  series =       "Lecture Notes in Artificial Intelligence",
  publisher =    "Springer-Verlag"
}