1. Kordy, B., Mauw, S., Radomirović, S., Schweitzer, P.: Attack-defense trees. J. Logic Comput. 24, 55–87 (2012)
2. Bistarelli, S., Fioravanti, F., Peretti, P.: Defense trees for economic evaluation of security investments. In: First International Conference on Availability, Reliability and Security (ARES 2006), vol. 423 p. 8 (2006)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Cayrol,2005
4. Boella, G., Gabbay, D.M., van der Torre, L.W.N., Villata, S.: Support in abstract argumentation. In: Baroni, P., Cerutti, F., Giacomin, M., Simari, G.R., (eds.): Computational Models of Argument: Proceedings of COMMA 2010 of Frontiers in Artificial Intelligence and Applications., Desenzano del Garda, Italy, 8–10 September 2010. vol. 216, IOS Press pp. 111–122 (2010)
5. Wideł, W.: Formal modeling and quantitative analysis of security using attack-defense trees. PhD thesis (2019)