TY  - RPRT
TI  - Formal Verification of Debates in Argumentation Theory
AU  - Ria Jha
AU  - Francesco Belardinelli
AU  - Francesca Toni
PY  - 2019
UR  - https://arxiv.org/abs/1912.05828
ID  - 1912.05828
ER  -