@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} }