@inproceedings{DBLP:conf/lpnmr/AndresSGSBS13,
title = {Accurate Computation of 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 = {{LPNMR}},
pages = {92--101},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8148},
year = {2013}
}