@inproceedings{KMMS10,
  author        = {Barbara Kordy and Sjouke Mauw and Matthijs Melissen and Patrick Schweitzer},
  booktitle     = {Proceedings of the Conference on Decision and Game Theory for Security (GameSec 2010)},
  title         = {Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent},
  publisher     = {Springer},
  series        = {{LNCS}},
  url           = {http://arxiv.org/abs/1006.2732},
  year          = {2010},
  pages         = {245--256},
  volume        = {6442},
  project       = {atrees},
  ulkey         = {Kordy:9954}
}