@misc{indiciae03a49fbb5d45,
  title = {An ExpTime Upper Bound for \$\textbackslash{}mathcal\{ALC\}\$ with Integers (Extended Version)},
  author = {Nadia Labai and Magdalena Ortiz and Mantas Šimkus},
  year = {2020},
  url = {https://arxiv.org/abs/2006.02078},
  note = {Source identifier: 2006.02078}
}