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