@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"
}