@InProceedings{brgepusctowo07b,
  title = 	"{``}{T}hat is Illogical Captain!{"} -- 
                 {T}he Debugging Support Tool spock for Answer-Set Programs: System Description",
  author = 	"M. Brain and M. Gebser and J. P{\"u}hrer and 
                 T. Schaub and H. Tompits and S. Woltran",
  pages = 	"71-85",
  crossref = 	"sea07"
}
@Proceedings{sea07,
  title = 	"Proceedings of the Workshop on Software Engineering for Answer Set Programming (SEA'07)",
  booktitle = 	"Proceedings of the Workshop on Software Engineering for Answer Set Programming (SEA'07)",
  editor = 	"M. {De Vos} and T. Schaub",
  year = 	2007
}