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