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