@InProceedings{gebser07a,
  author =	 "M. Gebser",
  title =	 "Advanced Techniques for Answer Set Programming",
  pages =	 "458-459",
  crossref =	 "iclp07"
}
@Proceedings{iclp07,
  title =	 "Proceedings of the Twenty-third International Conference on
                  Logic Programming (ICLP'07)",
  booktitle =	 "Proceedings of the Twenty-third International Conference on
                  Logic Programming (ICLP'07)",
  editor =	 "V. Dahl and I. Niemel{\"a}",
  volume =	 4670,
  series =	 "Lecture Notes in Computer Science",
  publisher =	 "Springer-Verlag",
  year =	 2007
}