@inproceedings{TEMP:conf/zue/AndresSGSBS12,
  author = {Andres, Benjamin and Sauer, Matthias and Gebser, Martin and Schubert, Tobias and Becker, Bernd and Schaub, Torsten},
  title = {Accurate Computation of Longest Sensitizable Paths using Answer Set Programming},
  booktitle = {{ZuE}},
  year = {2012}
}