@article{DBLP:journals/entcs/BistarelliPT08,
author = {Stefano Bistarelli and
Pamela Peretti and
Irina Trubitsyna},
title = {Analyzing Security Scenarios Using Defence Trees and Answer
Set Programming},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {197},
number = {2},
year = {2008},
pages = {121-129},
ee = {http://dx.doi.org/10.1016/j.entcs.2007.12.021},
bibsource = {DBLP, http://dblp.uni-trier.de}
}