@InProceedings{geossc09a,
  author =	 "M. Gebser and M. Ostrowski and T. Schaub",
  title =	 "Constraint Answer Set Solving",
  pages =	 "235-249",
  crossref =	 "iclp09"
}
@Proceedings{iclp09,
  title =	 "Proceedings of the Twenty-fifth International Conference on
                  Logic Programming (ICLP'09)",
  booktitle =	 "Proceedings of the Twenty-fifth International Conference on
                  Logic Programming (ICLP'09)",
  editor =	 "P. Hill and D. Warren",
  publisher =	 "Springer-Verlag",
  series =	 "Lecture Notes in Computer Science",
  year =	 2009,
  volume =	 5649
}