@article{BrainGebserPuehreretal.2007,
  author    = {Martin Brain and Martin Gebser and J{\"o}rg P{\"u}hrer and Torsten H. Schaub and Hans Tompits and Stefan Woltran},
  title     = {Debugging ASP programs by means of ASP},
  year      = {2007},
}