Cita APA (7a ed.)

Henne, M., Morawska, B., & Parys, P. (2026). Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime.

Cita Chicago Style (17a ed.)

Henne, Michał, Barbara Morawska, y Paweł Parys. Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime. 2026.

Cita MLA (9a ed.)

Henne, Michał, et al. Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime. 2026.