TY  - RPRT
TI  - An ExpTime Upper Bound for $\mathcal{ALC}$ with Integers (Extended Version)
AU  - Nadia Labai
AU  - Magdalena Ortiz
AU  - Mantas Šimkus
PY  - 2020
UR  - https://arxiv.org/abs/2006.02078
ID  - 2006.02078
ER  -