@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     = {"That is illogical, Captain!" : the debugging support tool spock for answer-set programs ; system description},
  year      = {2007},
}