TY  - RPRT
TI  - Encoding higher-order argumentation frameworks with supports to propositional logic systems
AU  - Shuai Tang
PY  - 2025
UR  - https://arxiv.org/abs/2512.23507
ID  - 2512.23507
ER  -