N. Labai, M. Simkus, M. Ortiz de la Fuente: "An ExpTime Upper Bound for ALC with Integers (Extended Version)"; Report for arXiv; Report No. 2006.02078, 2020; 36 pages.
https://arxiv.org/pdf/2006.02078.pdf