@article{abseher_15b,
 author = {Michael Abseher and Bernhard Bliem and Günther Charwat and Frederico Dusberger and Stefan Woltran},
 doi = {10.1093/logcom/exv060},
 journal = {Journal of Logic and Computation},
 title = {Computing secure sets in graphs using answer set programming},
 url = {http://logcom.oxfordjournals.org/content/early/2015/08/31/logcom.exv060.full.pdf},
 year = {2015}
}