Nadia Labai, Magdalena Ortiz, Mantas Simkus: An ExpTime Upper Bound for ALC with Integers. KR 2020: 614-623