@article{KoMaRaSc2-2,
  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},
  volume        = {24},
  number        = {1},
  pages         = {55-87},
  year          = {2014},
  doi           = {10.1093/logcom/exs029},
  url           = {http://logcom.oxfordjournals.org/cgi/reprint/exs029?ijkey=mh36BNzlgzljoDt&keytype=ref},
  project       = {atrees}
}