TY  - RPRT
TI  - An argumentation system for reasoning with conflict-minimal paraconsistent ALC
AU  - Wenzhao Qiao
AU  - Nico Roos
PY  - 2014
UR  - https://arxiv.org/abs/1404.7719
ID  - 1404.7719
ER  -