@inproceedings{TEMP:conf/unknown/BrainGPSTW07,
  title = {{"}{T}hat is Illogical Captain!{"} -- {T}he Debugging Support Tool spock for Answer-Set Programs: System Description},
  author = {Brain, Martin and Gebser, Martin and P{\"{u}}hrer, J{\"{o}}rg and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  booktitle = {{SEA}},
  pages = {71--85},
  year = {2007}
}