@InProceedings{gepuscto08a,
  title =	 "A Meta-Programming Technique for Debugging Answer-Set Programs",
  author =	 "M. Gebser and J. P{\"u}hrer and T. Schaub and H. Tompits",
  pages =	 "448-453",
  crossref =	 "aaai08"
}
@Proceedings{aaai08,
  title =	 "Proceedings of the Twenty-third National Conference on
                  Artificial Intelligence (AAAI'08)",
  booktitle =	 "Proceedings of the Twenty-third National Conference on
                  Artificial Intelligence (AAAI'08)",
  editor =	 "D. Fox and C. Gomes",
  publisher =	 "AAAI Press",
  year =	 2008
}