TY  - RPRT
TI  - A Formalisation of Abstract Argumentation in Higher-Order Logic
AU  - Alexander Steen
AU  - David Fuenmayor
PY  - 2021
UR  - https://arxiv.org/abs/2110.09174
ID  - 2110.09174
ER  -