@article{KoMaRaSc2,
  author        = {Barbara Kordy and Sjouke Mauw and Sa\v{s}a Radomirovi\'{c} and Patrick Schweitzer},
  title         = {{Attack--Defense Trees}},
  journal       = {Journal of Logic and Computation},
  doi           = {10.1093/logcom/exs029},
  year          = {2013},
  pages         = {{}},
  url           = {http://logcom.oxfordjournals.org/cgi/reprint/exs029?ijkey=mh36BNzlgzljoDt&keytype=ref},
  project       = {atrees}
}