1. Alur R, Henzinger T, Kupferman O (2002) Alternating-time temporal logic. J ACM 49:672–713
2. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook. Cambridge University Press, Cambridge
3. Baroni P, Gabbay D, Giacomin M, van der Torre L (eds) (2018) Handbook of formal argumentation. College Publications, London
4. Boltužić F, Šnajder J (2016) Fill the gap! Analyzing implicit premises between claims from online debates. Argum Min 3:124–133.
https://doi.org/10.18653/v1/W16-2815
5. Bosc, T., Cabrio, E., Villata, S.: Tweeties squabbling: Positive and negative results in applying argument mining on social media. In: Computational Models of Argument, COMMA 2016 (2016)