TY  - RPRT
TI  - The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC
AU  - Daiki Takahashi
AU  - Ken Kaneiwa
PY  - 2022
UR  - https://arxiv.org/abs/2208.05279
ID  - 2208.05279
ER  -