@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} }