@misc{indiciae2f9c0daccf56,
  title = {Subsumption in \$\textbackslash{}mathcal\{FL\}\_\{\textbackslash{}bot \textbackslash{}mathit\{reg\}\}\$ with TBoxes Is in ExpTime},
  author = {Michał Henne and Barbara Morawska and Paweł Parys},
  year = {2026},
  url = {https://arxiv.org/abs/2605.13553},
  note = {Source identifier: 2605.13553}
}