Full Citation:
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran. Computing secure sets in graphs using answer set programming. Journal of Logic and Computation, 2015.