@article{FundInf17,
  author        = {Ross Horne and Sjouke Mauw and Alwen Tiu},
  title         = {Semantics for Specialising Attack Trees based on Linear Logic},
  journal       = {Fundamenta Informaticae},
  volume        = {153},
  number        = {1-2},
  pages         = {57-86},
  year          = {2017},
  publisher     = {IOS Press},
  doi           = {10.3233/FI-2017-1531},
  url           = {https://satoss.uni.lu/members/ross/pdf/attacktrees.pdf}
}