@misc{indiciae8442f94a4355,
  title = {Formal Verification of Debates in Argumentation Theory},
  author = {Ria Jha and Francesco Belardinelli and Francesca Toni},
  year = {2019},
  url = {https://arxiv.org/abs/1912.05828},
  note = {Source identifier: 1912.05828}
}