@InProceedings{gelinanesctr07a,
  author =	 "M. Gebser and L. Liu and G. Namasivayam and
                  A. Neumann and T. Schaub and M. Truszczy{\'n}ski",
  title =	 "The First Answer Set Programming System Competition",
  pages =	 "3-17",
  crossref =	 "lpnmr07"
}
@Proceedings{lpnmr07,
  title =	 "Proceedings of the Ninth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'07)",
  booktitle =	 "Proceedings of the Ninth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'07)",
  editor =	 "C. Baral and G. Brewka and J. Schlipf",
  series =	 "Lecture Notes in Artificial Intelligence",
  volume =	 4483,
  publisher =	 "Springer-Verlag",
  year =	 2007
}