Knowledge Processing and Information Systems
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

@inproceedings{DBLP:conf/wlp/GebserPSTW07,
  author = {Gebser, Martin and P{\"{u}}hrer, J{\"{o}}rg and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title = {spock: {A} Debugging Support Tool for Logic Programs under the Answer-Set Semantics},
  booktitle = {{INAP/WLP}},
  series = {Lecture Notes in Computer Science},
  volume = {5437},
  pages = {247--252},
  publisher = {Springer},
  year = {2007}
}