@misc{indiciaeed98a30f600e,
  title = {A Formalisation of Abstract Argumentation in Higher-Order Logic},
  author = {Alexander Steen and David Fuenmayor},
  year = {2021},
  url = {https://arxiv.org/abs/2110.09174},
  note = {Source identifier: 2110.09174}
}