@inproceedings{DBLP:conf/aaai/GebserPST08,
  title = {A Meta-Programming Technique for Debugging Answer-Set Programs},
  author = {Gebser, Martin and P{\"{u}}hrer, J{\"{o}}rg and Schaub, Torsten and Tompits, Hans},
  booktitle = {{AAAI}},
  pages = {448--453},
  publisher = {{AAAI} Press},
  year = {2008}
}