TY  - RPRT
TI  - Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report)
AU  - Ryuta Arisaka
AU  - Takayuki Ito
PY  - 2020
UR  - https://arxiv.org/abs/2007.12474
ID  - 2007.12474
ER  -